Sciweavers

1225 search results - page 63 / 245
» Maximal Consistent Subsets
Sort
View
CVPR
1997
IEEE
14 years 9 months ago
Stereo Coupled Active Contours
We consider how tracking in stereo may be enhanced by coupling pairs of active contours in different views via affine epipolar geometry and various subsets of planar affine transf...
Tat-Jen Cham, Roberto Cipolla
ECSQARU
2009
Springer
14 years 2 months ago
An Algorithm for Generating Arguments in Classical Predicate Logic
Abstract. There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conï¬...
Vasiliki Efstathiou, Anthony Hunter
WIA
2004
Springer
14 years 1 months ago
Brute Force Determinization of NFAs by Means of State Covers
Finite automata determinization is a critical operation for numerous practical applications such as regular expression search. Algorithms have to deal with the possible blow up of ...
Jean-Marc Champarnaud, Fabien Coulon, Thomas Paran...
UML
2001
Springer
14 years 5 days ago
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
Richard F. Paige, Jonathan S. Ostroff
WMCSA
1999
IEEE
14 years 1 days ago
DataX: an Approach to Ubiquitous Database Access
This paper describes an approach for enabling remote database access from heterogeneous thin clients. DataX is a proxy-based architecture that supports disconnected operation by r...
Hui Lei, Marion Blount, Carl D. Tait