1536 search results - page 80 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
ICDM
2008
IEEE
15 years 4 months ago
2008
IEEE
We present an interactive system to query, explore and navigate data according to a hierarchical knowledge model that had been automatically populated from unstructured textual da...
ISQED
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— As the semiconductor technology continues its marching toward the deep sub-micron domain, the strong relation between leakage current and temperature becomes critical i...
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
This paper introduces the problem of modeling urban transportation systems in a database where certain aspects of the data are probabilistic in nature. The transportation network ...
ICMCS
1999
IEEE
15 years 2 months ago
1999
IEEE
We present a system at the junction between Computer Vision and Computer Graphics, to produce a 3-D model of an object as observed in a single image, with a minimum of high-level ...
AAAI
2000
14 years 11 months ago
2000
This paper presents an implemented system, called LEONARD, that classifies simple spatial motion events, such as pick up and put down, from video input. Unlike previous systems th...