156 search results - page 10 / 32 » Logic for Computational Effects: Work in Progress |
148
click to vote
IJCAI
1989
15 years 7 months ago
1989
Many potential uses of qualitative physics, such as robot planning and intelligent computer-aided engineering, require integrating physics with actions taken by agents. This paper...
224
click to vote
SPLC
2007
15 years 7 months ago
2007
Feature modeling is a notation and an approach for modeling commonality and variability in product families. In their basic form, feature models contain mandatory/optional feature...
225
click to vote
GEOINFORMATICA
2011
15 years 1 months ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...
166
click to vote
CSB
2004
IEEE
15 years 10 months ago
2004
IEEE
Our previous work to accelerate phylogeny inference using HW/SW(Hardware/Software) co-design has recently been extended to a more powerful embedded computing platform. In this pla...
189
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Abstract. Super-resolution is a technique to restore the detailed information from the degenerated data. Lots of previous work is for 2D images while super-resolution of 3D models ...