Sciweavers

2237 search results - page 86 / 448
» Advanced Prosody Modelling
Sort
View
IFIP
1997
Springer
15 years 6 months ago
A simulation model for designing the automation of future's factory
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
Javier Borda Elejabarrieta
128
Voted
WM
2003
15 years 4 months ago
Worlds, Models, and KM
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...
Cyrus F. Nourani
102
Voted
ATAL
2010
Springer
15 years 3 months ago
AgentC: agent-based testbed for adversarial modeling and reasoning in the maritime domain
We present an agent-based system for modeling, analyzing and reasoning in the maritime domain with the emphasis on detecting, anticipating and preventing illegitimate activities, ...
Michal Jakob, Ondrej Vanek, Stepán Urban, P...
147
Voted
FAC
2008
117views more  FAC 2008»
15 years 2 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
132
Voted
JIKM
2006
167views more  JIKM 2006»
15 years 2 months ago
Learning Trajectory Information with Neural Networks and the Markov Model to Develop Intelligent Location-Based Services
In the development of location-based services, various location-sensing techniques and experimental/commercial services have been used. However, conventional location-based service...
Sang-Jun Han, Sung-Bae Cho