Sciweavers

6894 search results - page 362 / 1379
» Generation Problems
Sort
View
GMP
2006
IEEE
157views Solid Modeling» more  GMP 2006»
16 years 25 days ago
Density-Controlled Sampling of Parametric Surfaces Using Adaptive Space-Filling Curves
Abstract. Low-discrepancy point distributions exhibit excellent uniformity properties for sampling in applications such as rendering and measurement. We present an algorithm for ge...
J. A. Quinn, Frank C. Langbein, Ralph R. Martin, G...
IAT
2006
IEEE
16 years 25 days ago
Multi-Agent Coordination and Cooperation through Classical Planning
Multi-agent planning is a fundamental problem in multiagent systems that has acquired a variety of meanings in the relative literature. In this paper we focus on a setting where m...
Yannis Dimopoulos, Pavlos Moraitis
APLAS
2006
ACM
16 years 23 days ago
Automatic Testing of Higher Order Functions
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
Pieter W. M. Koopman, Rinus Plasmeijer
WSNA
2003
ACM
16 years 1 days ago
Asymptotically optimal time synchronization in dense sensor networks
We consider the problem of synchronization of all clocks in a sensor network, in the regime of asymptotically high node densities. We formulate this problem as one in which all cl...
An-Swol Hu, Sergio D. Servetto
FM
2001
Springer
118views Formal Methods» more  FM 2001»
15 years 11 months ago
Avoiding State Explosion for Distributed Systems with Timestamps
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
Fabrice Derepas, Paul Gastin, David Plainfoss&eacu...