8828 search results - page 1629 / 1766 » Formal methods in practice |
131
click to vote
SGP
2003
15 years 5 months ago
2003
We present an algorithm for meshing surfaces that is a simple adaptation of a greedy “farthest point” technique proposed by Chew. Given a surface S, it progressively adds poin...
186
click to vote
FOGA
1998
15 years 5 months ago
1998
Genetic algorithms (GAs) are multi-dimensional and stochastic search methods, involving complex interactions among their parameters. For last two decades, researchers have been tr...
147
Voted
WEBNET
2000
15 years 5 months ago
2000
: Web-based instruction and online learning are changing customary practices in education. As conventional patterns for content delivery are influenced by new and improving technol...
165
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
All practical wireless communication systems are prone to errors. At the symbol level such wireless errors have a well-defined structure: when a receiver decodes a symbol erroneou...
146
click to vote
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...