1626 search results - page 231 / 326 » Hybrid computing algorithm in representing solid model |
128
click to vote
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that “the sensornet is a database” is problematic,...
133
click to vote
MM
2009
ACM
15 years 9 months ago
2009
ACM
The main difficulty in face image modeling is to decompose those semantic factors contributing to the formation of the face images, such as identity, illumination and pose. One p...
149
click to vote
TSMC
2010
14 years 10 months ago
2010
Abstract--We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i....
122
click to vote
WABI
2009
Springer
15 years 9 months ago
2009
Springer
Background: Functionally related genes tend to be correlated in their expression patterns across multiple conditions and/or tissue-types. Thus co-expression networks are often use...
120
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...