6514 search results - page 852 / 1303 » Low-Knowledge Algorithm Control |
155
Voted
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
129
click to vote
DOCENG
2008
ACM
15 years 6 months ago
2008
ACM
Different dialects of XML have emerged as ubiquitous document exchange formats. For effective collaboration based on such documents, the capability to propagate edit operations pe...
163
click to vote
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and CellDEVS models. By exploiting the cha...
106
click to vote
BCSHCI
2008
15 years 6 months ago
2008
This paper describes an evaluation of a consumer application for soccer highlights detection, which combines advanced user interaction with an underlying automatic highlights dete...
135
click to vote
SCAI
2008
15 years 6 months ago
2008
Abstract. In the design of behavior-based control architectures for robots it is common to use biology as inspiration, and often the observed functionalities of insect behaviors ar...