Sciweavers

1655 search results - page 178 / 331
» State, Event, Time and Diagram in System Modeling
Sort
View
MVA
2006
205views Computer Vision» more  MVA 2006»
15 years 6 months ago
Ontological inference for image and video analysis
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
Christopher Town
AAAI
2000
15 years 7 months ago
Back to the Future for Consistency-Based Trajectory Tracking
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...
James Kurien, P. Pandurang Nayak
POPL
2012
ACM
14 years 2 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
MASCOTS
2010
15 years 4 months ago
Exploiting Concurrency to Improve Latency and throughput in a Hybrid Storage System
—This paper considers the problem of how to improve the performance of hybrid storage system employing solid state disks and hard disk drives. We utilize both initial block alloc...
XiaoJian Wu, A. L. Narasimha Reddy
CGO
2007
IEEE
16 years 23 days ago
Ubiquitous Memory Introspection
Modern memory systems play a critical role in the performance of applications, but a detailed understanding of the application behavior in the memory system is not trivial to atta...
Qin Zhao, Rodric M. Rabbah, Saman P. Amarasinghe, ...