Sciweavers

1931 search results - page 53 / 387
» Why we blog
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
13 years 6 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
JOS
2011
59views more  JOS 2011»
13 years 3 months ago
The problem of the initial transient (again), or why MSER works
In a comprehensive study of methods for dealing with the problem of the initial transient, Hoad et al. (2008) determined that the MSER (White, 1997) was an efficient and effective...
K. P. White Jr., S. Robinson
INTERSPEECH
2010
13 years 3 months ago
Say what? why users choose to speak their web queries
The context in which a speech-driven application is used (or conversely not used) can be an important signal for recognition engines, and for spoken interface design. Using large-...
Maryam Kamvar, Doug Beeferman
ICIAP
2003
ACM
14 years 8 months ago
The mantis head camera (why the praying mantis is so good at catching its prey)
Inspired by the abilities of the praying mantis to judge distance to its prey before the strike by use of motionbased visually mediated odometry, we create miniature model for dep...
Igor Katsman, Ehud Rivlin
P2P
2009
IEEE
114views Communications» more  P2P 2009»
14 years 3 months ago
Why Kad Lookup Fails
A Distributed Hash Table (DHT) is a structured overlay network service that provides a decentralized lookup for mapping objects to locations. In this paper, we study the lookup pe...
Hun Jeong Kang, Eric Chan-Tin, Nicholas Hopper, Yo...