8068 search results - page 484 / 1614 » Java Data Objects |
185
click to vote
EUROGP
2009
Springer
15 years 4 months ago
2009
Springer
We have created a real-time evolutionary object recognition system. Genetic Programming is used to automatically search the space of possible computer vision programs guided throug...
180
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
178
click to vote
PPOPP
1999
ACM
15 years 10 months ago
1999
ACM
The use of threads is becoming commonplace in both sequential and parallel programs. This paper describes our design and initial experience with non-trace based performance instru...
185
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
205
Voted
SIGIR
2009
ACM
16 years 26 days ago
2009
ACM
Social tagging is becoming increasingly popular in many Web 2.0 applications where users can annotate resources (e.g. Web pages) with arbitrary keywords (i.e. tags). A tag recomme...