5378 search results - page 923 / 1076 » Base Logics in Argumentation |
160
click to vote
SEFM
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
147
click to vote
ICRA
2009
IEEE
16 years 21 days ago
2009
IEEE
Abstract— Robotic manipulation is important for real, physical world applications. General Purpose manipulation with a robot (eg. delivering dishes, opening doors with a key, etc...
149
click to vote
IEEESCC
2009
IEEE
16 years 21 days ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with services...
143
click to vote
INFOCOM
2009
IEEE
16 years 21 days ago
2009
IEEE
—Packet classification is a function increasingly used in a number of networking appliances and applications. Typically, sists of a set of abstract classifications, and a set o...
152
click to vote
IROS
2009
IEEE
16 years 21 days ago
2009
IEEE
— Knowledge processing is an essential technique for enabling autonomous robots to do the right thing to the right object in the right way. Using knowledge processing the robots ...