Sciweavers

1716 search results - page 56 / 344
» Generating models for temporal representations
Sort
View
147
Voted
CORR
2000
Springer
103views Education» more  CORR 2000»
15 years 3 months ago
Towards a query language for annotation graphs
The multidimensional, heterogeneous, and temporal nature of speech databases raises interesting challenges for representation and query. Recently, annotation graphs have been prop...
Steven Bird, Peter Buneman, Wang Chiew Tan
ATAL
2010
Springer
15 years 4 months ago
Strategic planning for probabilistic games with incomplete information
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
Henning Schnoor
159
Voted
IJCAI
2001
15 years 5 months ago
Executing Reactive, Model-based Programs through Graph-based Temporal Planning
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
Phil Kim, Brian C. Williams, Mark Abramson
185
Voted
ICCS
2007
Springer
15 years 7 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
108
Voted
IJCNN
2008
IEEE
15 years 10 months ago
Image clustering with spiking neuron network
— The process of segmenting images is one of the most critical ones in automatic image analysis whose goal can be regarded as to find what objects are presented in images. Artifi...
B. Meftah, A. Benyettou, Olivier Lezoray, W. QingX...