4666 search results - page 296 / 934 » Equations on Timed Languages |
144
click to vote
MOMM
2006
ACM
16 years 21 days ago
2006
ACM
Earth-observing satellites, such Landsat, provide many multitemporal images of earth, either water body or land. Using spectral water body characteristics and field measurement, b...
162
click to vote
3DIM
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper describes a fast, simultaneous alignment method for a large number of range images. Generally the most time-consuming task in aligning range images is searching corresp...
159
click to vote
RTA
2005
Springer
16 years 6 days ago
2005
Springer
Many applications of congruence closure nowadays require the ability of recovering, among the thousands of input equations, the small subset that caused the equivalence of a given ...
191
click to vote
WABI
2005
Springer
16 years 6 days ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
172
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
This paper assumes a search space of fixed-length strings, where the size of the alphabet can vary from position to position. Structural crossover is mask-based crossover, and thu...