2203 search results - page 152 / 441 » Temporal Abstract Interpretation |
140
Voted
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
160
Voted
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
145
Voted
FAC
2000
15 years 3 months ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
122
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Temporal classification, such as activity recognition, is a key component for creating intelligent robot systems. In the case of robots, classification algorithms mus...
135
Voted
ECSQARU
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The Transferable Belief Model (TBM) relies on belief functions and enables one to represent and combine a variety of knowledge from certain up to ignorance as well as con...