736 search results - page 131 / 148 » Moving Specification Structures Between Logical Systems |
132
Voted
ICCV
2009
IEEE
16 years 6 months ago
2009
IEEE
Camera networks have gained increased importance in
recent years. Previous approaches mostly used point correspondences
between different camera views to calibrate
such systems....
187
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
—Autonomous wireless agents such as unmanned aerial vehicles, mobile base stations, or self-operating wireless nodes present a great potential for deployment in next-generation w...
147
Voted
CVPR
2010
IEEE
15 years 19 days ago
2010
IEEE
Mirrors have been used to enable wide field-of-view (FOV) catadioptric imaging. The mapping between the incoming and reflected light rays depends non-linearly on the mirror shape ...
242
Voted
ICFP
2009
ACM
16 years 3 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...
125
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...