2314 search results - page 85 / 463 » What's in a model |
TACAS
2010
Springer
14 years 5 months ago
2010
Springer
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
ARIA, ARchitecture for Interactive Arts, is a middleware to process, filter, and fuse sensory inputs and actuate responses in real-time. An ARIA media processing workflow descri...
ICTAI
2006
IEEE
14 years 4 months ago
2006
IEEE
Enterprise corpora contain evidence of what employees work on and therefore can be used to automatically find experts on a given topic. We present a general approach for represen...
GISCIENCE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. A datatype with increasing importance in GIS is what we call the location history–a record of an entity’s location in geographical space over an interval of time. Thi...
SSPR
2004
Springer
14 years 3 months ago
2004
Springer
We present a probabilistic graphical model for point set matching. By using a result about the redundancy of the pairwise distances in a point set, we represent the binary relation...