Sciweavers

460 search results - page 22 / 92
» Computational Analysis of Move Structures in Academic Abstra...
Sort
View
IANDC
2006
97views more  IANDC 2006»
14 years 9 months ago
Pure bigraphs: Structure and dynamics
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
Robin Milner
CP
2007
Springer
15 years 1 months ago
Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
Alfonso Gerevini, Alessandro Saetti
CONCUR
1999
Springer
15 years 2 months ago
Validating Firewalls in Mobile Ambients
Abstract. The ambient calculus is a calculus of computation that allows active processes (mobile ambients) to move between sites. A firewall is said to be protective whenever it d...
Flemming Nielson, Hanne Riis Nielson, René ...
ICPR
2000
IEEE
15 years 2 months ago
Probabilistic Saliency Approach for Elongated Structure Detection Using Deformable Models
In this paper we address the object recognition problem in a probabilistic framework to detect and describe object appearance through image features organized by means of active c...
Xavier Orriols, Ricardo Toledo, Xavier Binefa, Pet...
NDQA
2003
156views Education» more  NDQA 2003»
14 years 11 months ago
Toward a Question Answering Roadmap
Growth in government investment, academic research, and commercial question answering (QA) systems is motivating a need for increased planning and coordination. The internationali...
Mark T. Maybury