Sciweavers

271 search results - page 8 / 55
» Equal To The Task
Sort
View
CLEF
2009
Springer
13 years 5 months ago
Overview of the CLEF 2009 Large-Scale Visual Concept Detection and Annotation Task
The large-scale visual concept detection and annotation task (LS-VCDT) in ImageCLEF 2009 aims at the detection of 53 concepts in consumer photos. These concepts are structured in ...
Stefanie Nowak, Peter Dunker
ECRTS
2008
IEEE
14 years 2 months ago
Period and Deadline Selection for Schedulability in Real-Time Systems
Task period adaptations are often used to alleviate temporal overload conditions in real-time systems. Existing frameworks assume that only task periods are adjustable and that ta...
Thidapat Chantem, Xiaofeng Wang, Michael D. Lemmon...
ERSHOV
2009
Springer
14 years 2 months ago
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation
One of the applications of supercompilation is proving properties of programs.We focus in this paper on a speci c task: proving term equivalence for a higher-order lazy functiona...
Ilya Klyuchnikov, Sergei A. Romanenko
ICAISC
2004
Springer
14 years 28 days ago
One Day Prediction of NIKKEI Index Considering Information from Other Stock Markets
A task of a stock index prediction is presented in this paper. Several issues are considered. The data is gathered at the concerned stock market (NIKKEI) and two other markets (NAS...
Marcin Jaruszewicz, Jacek Mandziuk
ASYNC
2002
IEEE
114views Hardware» more  ASYNC 2002»
14 years 15 days ago
Checking Delay-Insensitivity: 104 Gates and Beyond
Wire and gate delays are accounted to have equal, or nearly equal, effect on circuit behavior in modern design techniques. This paper introduces a new approach to verify circuits ...
Alex Kondratyev, Oriol Roig, Lawrence Neukom, Karl...