Sciweavers

371 search results - page 32 / 75
» Computation of the Minimal Associated Primes
Sort
View
CVPR
2000
IEEE
14 years 9 months ago
Learning from One Example through Shared Densities on Transforms
We define a process called congealing in which elements of a dataset (images) are brought into correspondence with each other jointly, producing a data-defined model. It is based ...
Erik G. Miller, Nicholas E. Matsakis, Paul A. Viol...
ICCV
2007
IEEE
14 years 9 months ago
Methods for space line localization from single catadioptric images: new proposals and comparisons
Line localization from a single image of a central camera is an ill-posed problem unless other constraints or apriori knowledge are exploited. Recently, it has been proved that no...
Vincenzo Caglioti, Simone Gasparini, Pierluigi Tad...
DCC
2001
IEEE
14 years 7 months ago
Video Coding for Streaming Media Delivery on the Internet
We provide an overview of an architecture of today's Internet streaming media delivery networks and describe various problems that such systems pose with regard to video codin...
Gregory J. Conklin, Gary S. Greenbaum, Karl Olav L...
EICS
2009
ACM
14 years 2 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
ICPADS
1998
IEEE
13 years 11 months ago
One-Phase Commit: Does it make Sense?
1 Although widely used in distributed transactional systems, the so-called Two-Phase Commit (2PC) protocol introduces a substantial delay in transaction processing, even in the abs...
Maha Abdallah, Rachid Guerraoui, Philippe Pucheral