52 search results - page 3 / 11 » Using a Feature Algebra for Reasoning about Geometric Featur... |
AAAI
1998
13 years 6 months ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
JLP
2008
13 years 3 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
POPL
2008
ACM
14 years 5 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
CGF
2010
13 years 5 months ago
2010
This paper considers the problem of interactively finding the cutting contour to extract components from a given mesh. Some existing methods support cuts of arbitrary shape but re...
IJCAI
1997
13 years 6 months ago
1997
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...