6549 search results - page 85 / 1310 » Parsimonious additive models |
MTV
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
AI
2007
Springer
14 years 26 days ago
2007
Springer
Different types of rules are mined from transaction databases often with the goal of improving sales and services. In this paper, we link the interestingness of rules with the cont...
AMFG
2007
IEEE
14 years 26 days ago
2007
IEEE
Abstract. This paper addresses an aspect of sign language (SL) recognition that has largely been overlooked in previous work and yet is integral to signed communication. It is the ...
PODC
2010
ACM
14 years 22 days ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...
ENTCS
2007
13 years 8 months ago
2007
Using model-based development has shown to increase efficiency and effectiveness of software production. However, with software as an integral part of products with customized fu...