5820 search results - page 1062 / 1164 » The Web as a learning environment |
182
click to vote
ICTAI
2007
IEEE
16 years 11 days ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
182
click to vote
IPPS
2007
IEEE
16 years 11 days ago
2007
IEEE
In the paper we present a new approach based on application of neural networks to detect SQL attacks. SQL attacks are those attacks that take advantage of using SQL statements to ...
162
click to vote
AIED
2007
Springer
16 years 7 days ago
2007
Springer
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
153
click to vote
AUSAI
2007
Springer
16 years 7 days ago
2007
Springer
Underwater video is increasingly being pursued as a low impact alternative to traditional techniques (such as trawls and dredges) for determining abundance and size frequency of ta...
142
click to vote
CAV
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...