Sciweavers

1026 search results - page 78 / 206
» Semantic Components for Timetabling
Sort
View
136
Voted
SCP
2010
172views more  SCP 2010»
15 years 29 days ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
118
Voted
LPNMR
2007
Springer
15 years 8 months ago
Modularity Aspects of Disjunctive Stable Models
Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages...
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Ste...
116
Voted
ICDAR
2005
IEEE
15 years 8 months ago
Intelligent Document Processing
Digital repositories raise the need for an effective and efficient retrieval of the stored material. In this paper we propose the intensive application of intelligent techniques t...
Floriana Esposito, Stefano Ferilli, Teresa Maria A...
141
Voted
WER
2004
Springer
15 years 8 months ago
Taxonomic Ontology Alignment - an Implementation
With the evolution of the Web evolving towards the Semantic Web, where the information should be presented in a meaningful way for both humans and machines, arises the need for sem...
Carolina Howard Felicíssimo, Karin Koogan B...
122
Voted
SAC
1998
ACM
15 years 6 months ago
Open, distributed coordination with finesse
Coordination languages have recently been attracting signi cant attention as a means of programming parallel and distributed systems. The approach of separating coordination from ...
Andrew Berry, Simon M. Kaplan