Sciweavers

1419 search results - page 110 / 284
» Notes on Formalizing Context
Sort
View
PR
2006
167views more  PR 2006»
15 years 20 days ago
Database, protocols and tools for evaluating score-level fusion algorithms in biometric authentication
Fusing the scores of several biometric systems is a very promising approach to improve the overall system's accuracy. Despite many works in the literature, it is surprising t...
Norman Poh, Samy Bengio
BMVC
2010
14 years 10 months ago
Recognizing human actions in still images: a study of bag-of-features and part-based representations
Recognition of human actions is usually addressed in the scope of video interpretation. Meanwhile, common human actions such as "reading a book", "playing a guitar&...
Vincent Delaitre, Ivan Laptev, Josef Sivic
95
Voted
COSIT
2009
Springer
179views GIS» more  COSIT 2009»
15 years 7 months ago
An Algebraic Approach to Image Schemas for Geographic Space
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
Lisa Walton, Michael F. Worboys
85
Voted
ICFCA
2007
Springer
15 years 7 months ago
Computing Intensions of Digital Library Collections
We model a Digital Library as a formal context in which objects are documents and attributes are terms describing documents contents. A formal concept is very close to the notion o...
Carlo Meghini, Nicolas Spyratos
109
Voted
FMCAD
2004
Springer
15 years 4 months ago
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
Thao Dang, Alexandre Donzé, Oded Maler