3025 search results - page 374 / 605 » Automatic Programming of Robots Using Genetic Programming |
133
Voted
IJAIT
2006
15 years 3 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
122
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
147
Voted
NDSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...
155
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Context modeling for Vision Recognition and Automatic Image Annotation (AIA) has attracted increasing attentions in recent years. For various contextual information and resources,...
147
Voted
CIKM
2005
Springer
15 years 9 months ago
2005
Springer
Databases of text and text-annotated data constitute a significant fraction of the information available in electronic form. Searching and browsing are the typical ways that users...