7109 search results - page 373 / 1422 » Process Algebra with Combinators |
152
Voted
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
182
Voted
EMNLP
2010
15 years 4 months ago
2010
Named-entity recognition (NER) is an important task required in a wide variety of applications. While rule-based systems are appealing due to their well-known "explainability...
166
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Where am I and what am I seeing? This is a classical vision problem and this paper presents a solution based on efficient use of a combination of 2D and 3D features. Given a model...
206
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
We present a closed form solution to the nonrigid shape and motion (NRSM) problem from point correspondences in multiple perspective uncalibrated views. Under the assumption that t...
166
Voted
DAC
2003
ACM
16 years 7 months ago
2003
ACM
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...