Sciweavers

891 search results - page 45 / 179
» Temporal Constraints: A Survey
Sort
View
LPAR
1992
Springer
14 years 2 months ago
From the Past to the Future: Executing Temporal Logic Programs
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
Michael Fisher, Richard Owens
ATAL
2010
Springer
13 years 11 months ago
Optimal temporal decoupling in multiagent systems
When agents need to interact in order to solve some (possibly common) problem, resolving potential conflicts beforehand is often preferred to coordination during execution. Agents...
Léon Planken, Mathijs de Weerdt, Cees Witte...
JUCS
2008
134views more  JUCS 2008»
13 years 10 months ago
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
: Reasoning about incomplete qualitative temporal information is an essential topic in many artificial intelligence and natural language processing applications. In the domain of n...
Irène Durand, Sylviane R. Schwer
VTC
2007
IEEE
106views Communications» more  VTC 2007»
14 years 4 months ago
A Survey on LDPC Codes and Decoders for OFDM-based UWB Systems
— Current UWB systems apply convolutional codes as their channel coding scheme. For next generation systems LDPC codes are in discussion due to their outstanding communications p...
Torben Brack, Matthias Alles, Timo Lehnigk-Emden, ...
DEXAW
1999
IEEE
137views Database» more  DEXAW 1999»
14 years 2 months ago
Reasoning with Enhanced Temporal Entity-Relationship Models
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
Alessandro Artale, Enrico Franconi