1835 search results - page 101 / 367 » A Generic Framework for the Modeling of Contexts and its App... |
WADT
2004
Springer
14 years 2 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
ECCV
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. We present an approach for camera calibration from the image of at least two circles arranged in a coaxial way. Such a geometric configuration arises in static scenes of ...
EIS
2011
13 years 3 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
ASE
2005
13 years 8 months ago
2005
A primary goal of program performance understanding tools is to focus the user's attention directly on optimization opportunities where significant cost savings may be found....
MVA
1990
13 years 10 months ago
1990
It is strongly desired to construct multimedia databases especially of maps or engineering drawings. If these databases are intended to be used really effectively, original drawin...