Sciweavers

5634 search results - page 159 / 1127
» About Abstract Classes
Sort
View
121
Voted
IJCAI
2003
15 years 5 months 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
110
Voted
DEDS
2008
94views more  DEDS 2008»
15 years 3 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
159
Voted
CHARME
2003
Springer
110views Hardware» more  CHARME 2003»
15 years 7 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
129
Voted
WASA
2009
Springer
189views Algorithms» more  WASA 2009»
15 years 10 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
128
Voted
COSIT
2005
Springer
95views GIS» more  COSIT 2005»
15 years 9 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