7167 search results - page 1123 / 1434 » Answer Set Programming |
143
click to vote
RV
2010
Springer
15 years 1 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
137
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- This work deals with devising a secure, powerefficient, beam-steerable and on-chip transmission system for wireless sensor networks. A passively controllable smart (PCS)...
156
click to vote
LCTRTS
2010
Springer
15 years 28 days ago
2010
Springer
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...
148
click to vote
ICCV
2011
IEEE
14 years 3 months ago
2011
IEEE
We propose an approach to identify and segment objects from scenes that a person (or robot) encounters in Activities of Daily Living (ADL). Images collected in those cluttered sce...
133
click to vote
IUI
2012
ACM
13 years 10 months ago
2012
ACM
The style in which a robot moves, expressed through its gait or locomotion, can convey effective messages to people. For example, a robot could move aggressively in reaction to a ...