2364 search results - page 213 / 473 » An Engine for Computing Well-Founded Models |
138
click to vote
SMA
2003
ACM
15 years 10 months ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
132
click to vote
AVI
2006
15 years 6 months ago
2006
We present an experiment that compares how people perform search tasks in a degree-of-interest browser and in a Windows-Explorer-like browser. Our results show that, whereas users...
169
click to vote
CCGRID
2010
IEEE
14 years 8 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
143
click to vote
ICCV
2005
IEEE
16 years 7 months ago
2005
IEEE
Current approaches to object category recognition require datasets of training images to be manually prepared, with varying degrees of supervision. We present an approach that can...
116
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...