3954 search results - page 443 / 791 » Image-based Model Completion |
127
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
ion and BDDs Complement SAT-based BMC in DiVer Aarti Gupta1, Malay Ganai1 , Chao Wang2, Zijiang Yang1, Pranav Ashar1 1 NEC Laboratories America, Princeton, NJ, U.S.A. 2 University ...
134
click to vote
ICWE
2003
Springer
15 years 10 months ago
2003
Springer
Scientific community is showing a growing interest in Collaborative Systems, although most of developed systems deal with specific applications. This, together with the effort that...
144
click to vote
SSDBM
2002
IEEE
15 years 9 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...
137
click to vote
WMCSA
2002
IEEE
15 years 9 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...
142
click to vote
AIIA
2009
Springer
15 years 9 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...