Sciweavers

5200 search results - page 768 / 1040
» Symbolic models for control systems
Sort
View
IJCAI
1989
15 years 8 months ago
Reasoning About Hidden Mechanisms
1 describe an approach to the problem of forming hypotheses about hidden mechanisms w; thin devices — the "black box" problem for physical systems. The approach involv...
Richard J. Doyle
INFSOF
2000
77views more  INFSOF 2000»
15 years 7 months ago
Integration of functional, cognitive and quality requirements. A railways case study
The paper shows a SHEL oriented requirements engineering approach, which has been applied in a case study dealing with the definition of the requirements for a new railways traffi...
Massimo Felici, Mark-Alexander Sujan, Maria Wimmer
SERVICES
2010
105views more  SERVICES 2010»
15 years 5 months ago
Ensuring Resource-Level Quality for Services on Grids
Abstract--Service-Oriented Architectures address the development of distributed and dynamic service-based applications. Due to the dynamics of their environments, services should b...
Andre Lage Freitas, Jean-Louis Pazat, Nikos Parlav...
ICCV
2009
IEEE
15 years 5 months ago
Storyboard sketches for Content Based Video Retrieval
We present a novel Content Based Video Retrieval (CBVR) system, driven by free-hand sketch queries depicting both objects and their movement (via dynamic cues; streak-lines and ar...
John P. Collomosse, Graham McNeill, Yu Qian
WWW
2001
ACM
16 years 8 months ago
Integrating Software Agents into the HTTP Caching Infrastructure
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
Jesse Greenwald, Daniel Andresen