6549 search results - page 126 / 1310 » Parsimonious additive models |
177
click to vote
CAV
2004
Springer
15 years 9 months 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. ...
135
click to vote
ECSQARU
1995
Springer
15 years 9 months 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...
183
click to vote
EDUTAINMENT
2008
Springer
15 years 7 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...
149
click to vote
ACL
2008
15 years 7 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....
145
Voted
GRAPHICSINTERFACE
2008
15 years 7 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...