Sciweavers

1407 search results - page 162 / 282
» Sponsored Search with Contexts
Sort
View
ISBI
2006
IEEE
14 years 11 months ago
A flexible framework for Web interfaces to image databases: supporting user-defined ontologies and links to external databases
Vocabularies to describe research findings are needed to effectively use scientific databases. As understanding of data evolves, scientists need tools for extending the vocabulari...
Josiah Johnston, Arpun Nagaraja, Harry Hochheiser,...
WWW
2007
ACM
14 years 11 months ago
A no-frills architecture for lightweight answer retrieval
In a new model for answer retrieval, document collections are distilled offline into large repositories of facts. Each fact constitutes a potential direct answer to questions seek...
Marius Pasca
SAS
2009
Springer
212views Formal Methods» more  SAS 2009»
14 years 10 months ago
The Causal Graph Revisited for Directed Model Checking
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
Martin Wehrle, Malte Helmert
CHI
2007
ACM
14 years 10 months ago
Malibu personal productivity assistant
The Malibu system provides peripheral access to and awareness of activities, tasks, social-bookmark resources, and feeds to assist knowledge workers in their activity-centric work...
Werner Geyer, Beth Brownholtz, Michael J. Muller, ...
CVPR
2010
IEEE
14 years 6 months ago
Efficient Action Spotting based on a Spacetime Oriented Structure Representation
This paper addresses action spotting, the spatiotemporal detection and localization of human actions in video. A novel compact local descriptor of video dynamics in the context of...
Konstantinos Derpanis, Mikhail Sizintsev, Kevin Ca...