11168 search results - page 2088 / 2234 » Abstract State Processes |
ICEIS
2009
IEEE
13 years 8 months ago
2009
IEEE
One of the main difficulties of pattern mining is to deal with items of different nature in the same itemset, which can occur in any domain except basket analysis. Indeed, if we co...
ICNP
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract--Recent technological advances have motivated largescale deployment of RFID systems. RFID readers are often static and carefully deployed in a planned manner. However, the...
ICPP
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract--This research investigates the problem of robust dynamic resource allocation for heterogeneous distributed computing systems operating under imposed constraints. Often, s...
ICRA
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract-- This paper presents a method to associate meanings to words in manipulation tasks. We base our model on an affordance network, i.e., a mapping between robot actions, rob...
ICST
2009
IEEE
13 years 8 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...