2715 search results - page 31 / 543 » An Implementation of Narrowing Strategies |
FORMATS
2004
Springer
14 years 2 months ago
2004
Springer
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
EOR
2006
13 years 8 months ago
2006
The aim of this paper is to provide a game-theoretic interpretation of joint implementation in environmental projects and to assess the merit of such a strategy. More specifically...
ISMVL
1998
IEEE
14 years 1 months ago
1998
IEEE
Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider issues regarding the efficient implementation of a...
CSCWD
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents CSVTool (Collaboration Supported by Video Tool), a video-based collaboration tool designed to be simple, platform-independent, and to support multiple users ov...
MICCAI
2005
Springer
14 years 9 months ago
2005
Springer
A new approach to interactive segmentation based on random walks was recently introduced that shows promise for allowing physicians more flexibility to segment arbitrary objects in...