2296 search results - page 265 / 460 » The Expressive Power of Synchronizations |
201
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
143
click to vote
EXPDB
2006
ACM
16 years 17 days ago
2006
ACM
Current publish / subscribe systems offer a range of expressive subscription languages for constraints. However, classical systems restrict the publish operation to be a single p...
188
click to vote
IMC
2006
ACM
16 years 17 days ago
2006
ACM
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...
184
click to vote
CVPR
2010
IEEE
16 years 7 days ago
2010
IEEE
We define a new “contour person” model of the human body that has the expressive power of a detailed 3D model and the computational benefits of a simple 2D part-based model....
180
Voted
ICRA
2005
IEEE
16 years 6 days ago
2005
IEEE
— In this paper, we consider the problem of robot motion planning in order to satisfy formulas expressible in temporal logics. Temporal logics naturally express traditional robot...