6608 search results - page 962 / 1322 » On the Completeness of Model Checking |
189
click to vote
SSDBM
2002
IEEE
15 years 11 months ago
2002
IEEE
Scientific research relies as much on the dissemination and exchange of data sets as on the publication of conclusions. Accurately tracking the lineage (origin and subsequent proc...
178
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
Coordinating the interactions of applications running on the diversity of both mobile and embedded devices that will be common in ubiquitous computing environments is still a diff...
190
click to vote
AIIA
2009
Springer
15 years 11 months ago
2009
Springer
In this paper a planning framework based on Ant Colony Optimization techniques is presented. Optimal planning is a very hard computational problem which has been coped with differe...
167
click to vote
HAIS
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents a methodology for knowledge discovery from inherently distributed data without moving it from its original location, completely or partially, to other locations...
175
click to vote
ICANN
2009
Springer
15 years 11 months ago
2009
Springer
We present a neural system that recognizes faces under strong variations in pose and illumination. The generalization is learnt completely on the basis of examples of a subset of p...