Sciweavers

1367 search results - page 185 / 274
» Prediction Time in Anticipatory Systems
Sort
View
CSL
2007
Springer
14 years 4 months ago
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
Alexander Hertel, Alasdair Urquhart
ICDE
2006
IEEE
174views Database» more  ICDE 2006»
14 years 4 months ago
The Center for Plasma Edge Simulation Workflow Requirements
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
Scott Klasky, Bertram Ludäscher, Manish Paras...
IPPS
2006
IEEE
14 years 4 months ago
A performance model for fine-grain accesses in UPC
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
Zhang Zhang, S. R. Seidel
IH
1998
Springer
14 years 2 months ago
Modelling the False Alarm and Missed Detection Rate for Electronic Watermarks
Theoretical modeling of watermarks allow prediction of the detector reliability and facilitates the development of more reliable systems. In particular, mathematical evaluation is ...
Jean-Paul M. G. Linnartz, Ton Kalker, Geert Depove...
PETRA
2010
ACM
14 years 1 months ago
Tracking your steps on the track: body sensor recordings of a controlled walking experiment
Monitoring human motion has recently received great attention and can be used in many applications, such as human motion prediction. We present the collected data set from a body ...
Jefrey Lijffijt, Panagiotis Papapetrou, Jaakko Hol...