619 search results - page 9 / 124 » Generic Extensions and Generic Polynomials |
CVIU
2006
13 years 7 months ago
2006
We introduce a generic structure-from-motion approach based on a previously introduced, highly general imaging model, where cameras are modeled as possibly unconstrained sets of p...
MIDDLEWARE
2005
Springer
14 years 1 months ago
2005
Springer
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...
DEBU
2006
13 years 7 months ago
2006
The SERF project at Stanford deals with the Entity Resolution (ER) problem, in which records determined to represent the same real-life "entities" (such as people or pro...
ENTCS
2007
13 years 7 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...