1604 search results - page 164 / 321 » Regularization on Discrete Spaces |
120
click to vote
FP
1989
15 years 7 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
141
Voted
AAAI
2007
15 years 5 months ago
2007
Accurately locating users in a wireless environment is an important task for many pervasive computing and AI applications, such as activity recognition. In a WiFi environment, a m...
124
Voted
COMPGEOM
2004
ACM
15 years 9 months ago
2004
ACM
The Reeb graph is a useful tool in visualizing real-valued data obtained from computational simulations of physical processes. We characterize the evolution of the Reeb graph of a...
110
click to vote
ICCSA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a method for automatic removal of artifacts that appear in silhouettes extracted from polygonal meshes due to the discrete nature of meshes and numeri...
133
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...