10890 search results - page 17 / 2178 » Automatic Complexity Analysis |
ICFCA
2005
Springer
14 years 1 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
MOBIHOC
2009
ACM
14 years 8 months ago
2009
ACM
Distributed scheduling algorithms for wireless ad hoc networks have received substantial attention over the last decade. The complexity levels of these algorithms span a wide spec...
TOSEM
2002
13 years 7 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— A great challange in robotics is to make robots more like humans. One important aspect is to make robots move like humans and recognize their motions. Both tasks are based on h...
PRL
2008
13 years 7 months ago
2008
In this paper, the automatic medical annotation task of the 2007 CLEF cross-language image retrieval campaign (ImageCLEF) is described. The paper focusses on the images used, the ...