Sciweavers

1275 search results - page 175 / 255
» A Simple Focused Crawler
Sort
View
FSTTCS
2010
Springer
13 years 7 months ago
First-Order Logic with Reachability Predicates on Infinite Systems
This paper focuses on first-order logic (FO) extended by reachability predicates such that the expressiveness and hence decidability properties lie between FO and monadic second-o...
Stefan Schulz
ICMI
2010
Springer
186views Biometrics» more  ICMI 2010»
13 years 7 months ago
Feedback is... late: measuring multimodal delays in mobile device touchscreen interaction
Multimodal interaction is becoming common in many kinds of devices, particularly mobile phones. If care is not taken in design and implementation, there may be latencies in the ti...
Topi Kaaresoja, Stephen A. Brewster
WDAG
2010
Springer
164views Algorithms» more  WDAG 2010»
13 years 6 months ago
It's on Me! The Benefit of Altruism in BAR Environments
Abstract. Cooperation, a necessity for any peer-to-peer (P2P) cooperative service, is often achieved by rewarding good behavior now with the promise of future benefits. However, in...
Edmund L. Wong, Joshua B. Leners, Lorenzo Alvisi
FAST
2009
13 years 6 months ago
DIADS: Addressing the "My-Problem-or-Yours" Syndrome with Integrated SAN and Database Diagnosis
We present DIADS, an integrated DIAgnosis tool for Databases and Storage area networks (SANs). Existing diagnosis tools in this domain have a database-only (e.g., [11]) or SAN-onl...
Shivnath Babu, Nedyalko Borisov, Sandeep Uttamchan...
GW
2009
Springer
292views Biometrics» more  GW 2009»
13 years 6 months ago
To Beat or Not to Beat: Beat Gestures in Direction Giving
Research on gesture generation for embodied conversational agents (ECA's) mostly focuses on gesture types such as pointing and iconic gestures, while ignoring another gesture ...
Mariët Theune, Chris J. Brandhorst