3679 search results - page 566 / 736 » Answer set based design of knowledge systems |
206
click to vote
ISSTA
2004
ACM
16 years 11 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
172
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a method to add fine details, such as wrinkles and bulges, on a virtual face animated by common skinning techniques. Our system is based on a small set of refe...
178
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
—Fixed-point multiplication architectures are designed and evaluated using a set of logic cells based on a radix-4, quaternary number system. The library of logic circuits is bas...
162
click to vote
IJISTA
2010
15 years 5 months ago
2010
A low cost sensor system is envisaged that has 2 distinct routes for resolution enhancement in position detection. The main area for application of the sensor design would be in th...
226
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
The purpose of this study is to develop a decision making system to evaluate the risks in E-Commerce (EC) projects. Competitive software businesses have the critical task of assess...