3417 search results - page 38 / 684 » Visualizing Partial Evaluation |
AWPN
2008
14 years 9 days ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
CP
2001
Springer
14 years 3 months ago
2001
Springer
The Constraint Problems usually addressed fall into one of two models: the Constraint Satisfaction Problem (CSP) and the Constraint Optimization Problem (COP). However, in many rea...
ISMAR
2009
IEEE
14 years 5 months ago
2009
IEEE
In many cases, visual tracking is based on detecting, describing, and then matching local features. A variety of algorithms for these steps have been proposed and used in tracking...
IVS
2007
13 years 10 months ago
2007
From 28 May to 1 June 2007, a seminar on 'Information Visualization–HumanCentered Issues in Visual Representation, Interaction, and Evaluation' took place at the Inter...
PRESENCE
2007
13 years 10 months ago
2007
The implementation of telemanipulator systems for cardiac surgery enabled heart surgeons to perform delicate minimally invasive procedures with high precision under stereoscopic v...