2364 search results - page 302 / 473 » An Engine for Computing Well-Founded Models |
147
click to vote
ICIP
2002
IEEE
16 years 6 months ago
2002
IEEE
The approximation of surfaces to scattered data is an important problem encountered in a variety of scientific applications, such as reverse engineering, computer vision, computer...
147
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
LIght Detection And Ranging (LIDAR) data for terrain and land surveying has contributed to many environmental, engineering and civil applications. However, the analysis of Digital...
246
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Social network information is now being used in ways for which it may have not been originally intended. In particular, increased use of smartphones capable of running applicati...
143
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
There is increasing convergence between the fields of parallel and embedded computing. The demand for more functionality in embedded devices means that complex multicore architec...
140
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...