6549 search results - page 126 / 1310 » Parsimonious additive models |
CAV
2004
Springer
14 years 21 days ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...
ECSQARU
1995
Springer
14 years 16 days ago
1995
Springer
It is often possible to describe the correct functioning of a system by a mathematical model. As long as observations or measurements correspond to the predictions made by the mod...
EDUTAINMENT
2008
Springer
13 years 10 months ago
2008
Springer
There is a trend in Virtual Learning Environments (VLE) towards flexible and adapted learning experiences that modify their contents and behavior to suit the needs of different lea...
ACL
2008
13 years 10 months ago
2008
Large-scale discriminative machine translation promises to further the state-of-the-art, but has failed to deliver convincing gains over current heuristic frequency count systems....
GRAPHICSINTERFACE
2008
13 years 10 months ago
2008
Effective mode-switching techniques provide users of tablet interfaces with access to a rich set of behaviors. While many researchers have studied the relative performance of mode...