Sciweavers

948 search results - page 84 / 190
» Automatic Construction of Knowledge Base from Biological Pap...
Sort
View
LWA
2007
15 years 7 months ago
The Effectiveness of Concept Based Search for Video Retrieval
In this paper we investigate how a small number of high-level concepts derived for video shots, such as Sports, Face, Indoor, etc., can be used effectively for ad hoc search in vi...
Claudia Hauff, Robin Aly, Djoerd Hiemstra
ACSC
2004
IEEE
15 years 10 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
LREC
2010
158views Education» more  LREC 2010»
15 years 7 months ago
A Modality Lexicon and its use in Automatic Tagging
This paper describes our resource-building results for an eight-week JHU Human Language Technology Center of Excellence Summer Camp for Applied Language Exploration (SCALE-2009) o...
Kathrin Baker, Michael Bloodgood, Bonnie J. Dorr, ...
ICWS
2009
IEEE
15 years 4 months ago
A Flexible Approach for Automatic Process Decentralization Using Dependency Tables
Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation points...
Walid Fdhila, Ustun Yildiz, Claude Godart
CCS
2011
ACM
14 years 6 months ago
Automatically optimizing secure computation
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
Florian Kerschbaum