Sciweavers

5634 search results - page 159 / 1127
» About Abstract Classes
Sort
View
IJCAI
2003
15 years 18 days ago
A General Model for Online Probabilistic Plan Recognition
We present a new general framework for online istic plan recognition called the Abstract Hidden Markov Memory Model (AHMEM). The l is an extension of the existing Abstract Hidden ...
Hung Hai Bui
DEDS
2008
94views more  DEDS 2008»
14 years 11 months ago
Approximate Simulation Relations for Hybrid Systems
Abstract Approximate simulation relations have recently been introduced as a powerful tool for the approximation of discrete and continuous systems. In this paper, we his abstracti...
Antoine Girard, A. Agung Julius, George J. Pappas
CHARME
2003
Springer
110views Hardware» more  CHARME 2003»
15 years 2 months ago
Exact and Efficient Verification of Parameterized Cache Coherence Protocols
Abstract. We propose new, tractably (in some cases provably) efficient algorithmic methods for exact (sound and complete) parameterized reasoning about cache coherence protocols. F...
E. Allen Emerson, Vineet Kahlon
WASA
2009
Springer
189views Algorithms» more  WASA 2009»
15 years 5 months ago
Information Extraction as Link Prediction: Using Curated Citation Networks to Improve Gene Detection
Abstract. In this paper we explore the usefulness of various types of publicationrelated metadata, such as citation networks and curated databases, for the task of identifying gene...
Andrew Arnold, William W. Cohen
COSIT
2005
Springer
95views GIS» more  COSIT 2005»
15 years 4 months ago
Simulation of Obfuscation and Negotiation for Location Privacy
Abstract. Current mobile computing systems can automatically sense and communicate detailed data about a person’s location. Location privacy is an urgent research issue because c...
Matt Duckham, Lars Kulik