6141 search results - page 241 / 1229 » Models and representation of their ownership |
195
click to vote
CADE
2012
Springer
13 years 9 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
174
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper we propose and test an action recognition algorithm in which the images of the scene captured by a significant number of cameras are first used to generate a volumet...
196
click to vote
MOBILWARE
2009
ACM
16 years 1 months ago
2009
ACM
Sub-Nyquist sampling techniques for Wireless Sensor Networks (WSN) are gaining increasing attention as an alternative method to capture natural events with desired quality while mi...
147
click to vote
ASPDAC
2006
ACM
16 years 16 days ago
2006
ACM
– Model-based design is widely accepted in developing complex embedded system under intense time-to-market pressure. While it promises improved design productivity, the main bott...
132
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
In multi-agent MDPs, it is generally necessary to consider the joint state space of all agents, making the size of the problem and the solution exponential in the number of agents...