2897 search results - page 465 / 580 » Test Case Integration: From Components to Systems |
207
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
153
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— Localization in multi-robot systems is a key problem in multi agent systems. In many cases, specially involving legged robots, like the Robocup soccer competition, it r...
216
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
— A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system tha...
172
click to vote
AI
2006
Springer
15 years 6 months ago
2006
Springer
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
154
click to vote
ICIC
2005
Springer
15 years 11 months ago
2005
Springer
Stream Control Transmission Protocol (SCTP) is the third transport layer protocol next to TCP and UDP. The SCTP provides some distinctive features over the TCP. This paper is purpo...