Sciweavers

1313 search results - page 171 / 263
» Generic Universe Types
Sort
View
ICCV
2009
IEEE
16 years 11 months ago
Is Dual Linear Self-Calibration Artificially Ambiguous?
This purely theoretical work investigates the problem of artificial singularities in camera self-calibration. Selfcalibration allows one to upgrade a projective reconstruction t...
Pierre Gurdjos, Adrien Bartoli, Peter Sturm
ICSE
2008
IEEE-ACM
16 years 7 months ago
A verification system for timed interval calculus
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
Chunqing Chen, Jin Song Dong, Jun Sun 0001

Source Code
579views
16 years 2 months ago
The CImg Library
The CImg Library is an open source, C++ toolkit for image processing, designed with these properties in mind : Usefulness CImg defines classes and methods to manage images in y...
David Tschumperlé
GLOBECOM
2009
IEEE
16 years 27 days ago
Evaluating DoS Attacks against Sip-Based VoIP Systems
Abstract—The multimedia communication is rapidly converging towards Voice over Internet – commonly known as Voice over Internet Protocol (VoIP). Session Initiation Protocol (SI...
M. Zubair Rafique, M. Ali Akbar, Muddassar Farooq
SIGECOM
2006
ACM
119views ECommerce» more  SIGECOM 2006»
16 years 3 days ago
Nash equilibria in graphical games on trees revisited
Graphical games have been proposed as a game-theoretic model of large-scale distributed networks of non-cooperative agents. When the number of players is large, and the underlying...
Edith Elkind, Leslie Ann Goldberg, Paul W. Goldber...