Sciweavers

1926 search results - page 270 / 386
» Hierarchical Peer-to-Peer Systems
Sort
View
104
Voted
ICML
2003
IEEE
16 years 1 months ago
Goal-directed Learning to Fly
Learning to fly an aircraft is a complex task that requires the development of control skills and goal achievement strategies. This paper presents a behavioural cloning system tha...
Andrew Isaac, Claude Sammut
93
Voted
KDD
2008
ACM
186views Data Mining» more  KDD 2008»
16 years 1 months ago
Scalable and near real-time burst detection from eCommerce queries
In large scale online systems like Search, eCommerce, or social network applications, user queries represent an important dimension of activities that can be used to study the imp...
Nish Parikh, Neel Sundaresan
KDD
2002
ACM
169views Data Mining» more  KDD 2002»
16 years 1 months ago
A Framework for Customizable Sports Video Management and Retrieval
Several domain specific approaches for sports video management have shown the benefits of integrating low- and high- level video contents in supporting more robust retrieval. Howev...
Dian Tjondronegoro, Yi-Ping Phoebe Chen, Binh Pham
114
Voted
HPCA
2006
IEEE
16 years 1 months ago
High performance file I/O for the Blue Gene/L supercomputer
Parallel I/O plays a crucial role for most data-intensive applications running on massively parallel systems like Blue Gene/L that provides the promise of delivering enormous comp...
Hao Yu, Ramendra K. Sahoo, C. Howson, G. Almasi, J...
106
Voted
CADE
2007
Springer
16 years 1 months ago
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
Andrei Voronkov, Juan Antonio Navarro Pérez