9444 search results - page 1528 / 1889 » The Language Model LMNtal |
176
click to vote
CP
2007
Springer
16 years 29 days ago
2007
Springer
It has been widely observed that there is no “dominant” SAT solver; instead, different solvers perform best on different instances. Rather than following the traditional appr...
185
click to vote
ER
2007
Springer
16 years 28 days ago
2007
Springer
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
223
click to vote
LADS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Web applications represent an important category of applications that owe much of their popularity to the ubiquitous accessibility using standard web browsers. The comple...
181
click to vote
UM
2007
Springer
16 years 27 days ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
183
click to vote
ACSD
2006
IEEE
16 years 26 days ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...