Sciweavers

729 search results - page 82 / 146
» Computing persistent homology
Sort
View
SIGMETRICS
2010
ACM
203views Hardware» more  SIGMETRICS 2010»
14 years 10 months ago
An analytical framework to infer multihop path reliability in MANETs
Abstract Due to complexity and intractability reasons, most of the analytical studies on the reliability of communication paths in mobile ad hoc networks are based on the assumptio...
Nelson Antunes, Gonçalo Jacinto, Antó...
CG
2006
Springer
14 years 9 months ago
Realistic real-time rain rendering
Real-time rendering of virtual weather conditions has been investigated in many papers. Inserting fog or snow in a scene is rather straightforward. Rain is one of the most encount...
Pierre Rousseau, Vincent Jolivet, Djamchid Ghazanf...
FOCM
2002
83views more  FOCM 2002»
14 years 9 months ago
A Rigorous ODE Solver and Smale's 14th Problem
We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of i...
Warwick Tucker
HRI
2009
ACM
15 years 4 months ago
Relating initial turns of human-robot dialogues to discourse
User models can be useful for improving dialogue management. In this paper we analyze human-robot dialogues that occur during uncontrolled interactions and estimate relations betw...
Maxim Makatchev, Min Kyung Lee, Reid G. Simmons
LICS
2009
IEEE
15 years 4 months ago
Substructural Operational Semantics as Ordered Logic Programming
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
Frank Pfenning, Robert J. Simmons