Fundamenta Informaticae - Tom Vol. 135, nr 4 (2014) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 135, nr 4

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2014

Identyfikatory

Zawartość wolumenu

Vol. 135, nr 4
- artykuł: Engineering MAS – A Device Integration Framework for Smart Home Environments (Betts J., Müller B.), s. 341--353
- artykuł: A Specification Format for Rooted Branching Bisimulation (Castiglioni V., Lanotte R., Tini S.), s. 355--369
- artykuł: Efficient Rough Set Theory Merging (Grabowski A.), s. 371--385
- artykuł: Structural and Dynamic Restrictions of Elementary Object Systems (Heitmann F., Köhler-Bußmeier M.), s. 387--401
- artykuł: Identification of Formal Fallacies in a Natural Dialogue (Kacprzak M., Sawicka A.), s. 403--417
- artykuł: Genetic Algorithm with Path Relinking for the Orienteering Problem with Time Windows (Karbowska-Chilinska J., Zabielski P.), s. 419--431
- artykuł: An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ (Nguyen L. A., Golińska-Pilarek J.), s. 433--449
- artykuł: SMT Versus Genetic and OpenOpt Algorithms : Concrete Planning in the PlanICS Framework (Niewiadomski A., Skaruz J., Penczek W., Szreter M., Jarocki M.), s. 451--466
- artykuł: SMT-Based Reachability Checking for Bounded Time Petri Nets (Półrola A., Cybula P., Męski A.), s. 467--482
- artykuł: A Bi-objective Optimization Framework for Heterogeneous CPU/GPU Query Plans (Przymus P., Kaczmarski K., Stencel K.), s. 483--501
- artykuł: About New Version of RSDS System (Suraj Z., Grochowalski P.), s. 503--519
- artykuł: Preprocessing for Network Reconstruction : Feasibility Test and Handling Infeasibility (Wagler A. K., Wegener J.-T.), s. 521--535
- artykuł: Query Rewriting Based on Meta-Granular Aggregation (Wiśniewski P., Stencel K.), s. 537--551
- artykuł: Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking (Woźna-Szcześniak B., Zbrzezny A.), s. 553--568

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.