Sciweavers

6306 search results - page 18 / 1262
» Space, Time, and the Use of Language
Sort
View
EJIVP
2010
107views more  EJIVP 2010»
14 years 4 months ago
Unsupervised Action Classification Using Space-Time Link Analysis
Abstract--In this paper we address the problem of unsupervised discovery of action classes in video data. Different from all existing methods thus far proposed for this task, we pr...
Haowei Liu, Rogerio Feris, Volker Krüger, Min...
ASYNC
1997
IEEE
103views Hardware» more  ASYNC 1997»
15 years 1 months ago
Efficient Timing Analysis Algorithms for Timed State Space Exploration
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
Wendy Belluomini, Chris J. Myers
ADAEUROPE
2008
Springer
14 years 11 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
71
Voted
IR
2000
14 years 9 months ago
Exploiting the Similarity of Non-Matching Terms at Retrieval Time
In classic InformationRetrieval systems a relevant document will not be retrieved in response to a query if the document and query representations do not share at least one term. T...
Fabio Crestani
IWOMP
2009
Springer
15 years 4 months ago
Evaluating OpenMP 3.0 Run Time Systems on Unbalanced Task Graphs
The UTS benchmark is used to evaluate task parallelism in OpenMP 3.0 as implemented in a number of recently released compilers and run-time systems. UTS performs parallel search of...
Stephen Olivier, Jan Prins