2410 search results - page 434 / 482 » Multiset Ordering Constraints |
122
Voted
CI
2011
14 years 7 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
123
Voted
ATAL
2011
Springer
14 years 22 days ago
2011
Springer
Plug-in hybrid electric vehicles are expected to place a considerable strain on local electricity distribution networks, requiring charging to be coordinated in order to accommoda...
116
click to vote
CC
2003
Springer
15 years 6 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
116
Voted
CVPR
2001
IEEE
16 years 2 months ago
2001
IEEE
A bugbear of uncalibrated stereo reconstruction is that cameras which deviate from the pinhole model have to be pre-calibrated in order to correct for nonlinear lens distortion. I...
117
click to vote
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a new stereo matching algorithm based on inter-regional cooperative optimization. The proposed algorithm uses regions as matching primitives and defines the co...