16190 search results - page 243 / 3238 » Applicative programming with effects |
132
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The availability of effective management information is essential when coping with today’s complexity and dynamism, both within and around organizations. Information technology ...
149
Voted
ITS
2010
Springer
15 years 8 months ago
2010
Springer
Identifying effective tutorial dialogue strategies is a key issue for intelligent tutoring systems research. Human-human tutoring offers a valuable model for identifying effective ...
152
Voted
AAAI
2008
15 years 6 months ago
2008
Currently, the most effective complete SAT solvers are based on the DPLL algorithm augmented by clause learning. These solvers can handle many real-world problems from application...
139
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
150
Voted
PAMI
2007
15 years 3 months ago
2007
As biometric authentication systems become more prevalent, it is becoming increasingly important to evaluate their performance. The current paper introduces a novel statistical me...