2364 search results - page 310 / 473 » An Engine for Computing Well-Founded Models |
134
Voted
ICS
1998
Tsinghua U.
15 years 9 months ago
1998
Tsinghua U.
Parallel computers are now commonly used for computational science and engineering, and many applications in these areas use random number generators. For some applications, such ...
160
click to vote
SGP
2004
15 years 7 months ago
2004
We propose a method for segmentation of 3D scanned shapes into simple geometric parts. Given an input point cloud, our method computes a set of components which possess one or mor...
129
click to vote
CSEE
2000
Springer
15 years 9 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
118
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Embedded systems are complex as a whole but consist of smaller independent modules minimally interacting with each other. This structure makes embedded systems amenable to composi...
149
Voted
JUCS
2008
15 years 4 months ago
2008
: Web searching techniques have been investigated and implemented in many aspects. Particularly, in case of personalization, more important issue is how to manipulate the results r...