Sciweavers

1140 search results - page 54 / 228
» Progress on Certifying Algorithms
Sort
View
CEC
2005
IEEE
14 years 4 months ago
Relationships between internal and external metrics in co-evolution
Co-evolutionary algorithms (CEAs) have been applied to optimization and machine learning problems with often mediocre results. One of the causes for the unfulfilled expectations i...
Elena Popovici, Kenneth A. De Jong
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
14 years 5 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
SIGGRAPH
2000
ACM
14 years 3 months ago
QSplat: a multiresolution point rendering system for large meshes
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...
Szymon Rusinkiewicz, Marc Levoy
VVS
2000
IEEE
126views Visualization» more  VVS 2000»
14 years 2 months ago
Time critical isosurface refinement and smoothing
Multi-resolution data-structures and algorithms are key in Visualization to achieve real-time interaction with large data-sets. Research has been primarily focused on the off-line...
Valerio Pascucci, Chandrajit L. Bajaj
COMCOM
2006
110views more  COMCOM 2006»
13 years 11 months ago
Localized routing with guaranteed delivery and a realistic physical layer in wireless sensor networks
Routing is the problem of sending a packet from a source node to a destination node in the network. Existing solutions for sensor networks assume a unit disk graph model, where me...
Milos Stojmenovic, Amiya Nayak