Sciweavers

18209 search results - page 107 / 3642
» Some Remarks on the Paper
Sort
View
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
14 years 4 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
COCOON
2007
Springer
14 years 4 months ago
On the Hardness of Optimization in Power Law Graphs
Our motivation for this work is the remarkable discovery that many large-scale real-world graphs ranging from Internet and World Wide Web to social and biological networks exhibit ...
Alessandro Ferrante, Gopal Pandurangan, Kihong Par...
WEBI
2005
Springer
14 years 3 months ago
Multi-Faceted Information Retrieval System for Large Scale Email Archives
We profile a system for search and analysis of largescale email archives. The system builds around four facets: Content-based search engine, statistical topic model, automaticall...
Jukka Perkiö, Ville H. Tuulos, Wray L. Buntin...
ICRA
1993
IEEE
142views Robotics» more  ICRA 1993»
14 years 2 months ago
Avoiding the Past: A Simple but Effective Strategy for Reactive Navigation
An issue central to the navigation problem is memory. Traditional systems build symbolic maps of the world for navigational reference. Reactive methods, in contrast, eliminate or m...
Tucker R. Balch, Ronald C. Arkin
CHES
2006
Springer
137views Cryptology» more  CHES 2006»
14 years 1 months ago
Provably Secure S-Box Implementation Based on Fourier Transform
Cryptographic algorithms implemented in embedded devices must withstand Side Channel Attacks such as the Differential Power Analysis (DPA). A common method of protecting symmetric ...
Emmanuel Prouff, Christophe Giraud, Sébasti...