21094 search results - page 183 / 4219 » An experiment using DLV-K |
218
click to vote
JSAT
2010
15 years 1 months ago
2010
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be ve...
193
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
The virtual laboratories enhance learning experiences by providing the student with a supplement to the physical lab. The laboratories allow students to perform exercises as in an...
169
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Parallel developments are becoming increasingly prevalent in the building and evolution of large-scale software systems. Our previous studies of a large industrial project showed ...
179
click to vote
MOBICOM
2006
ACM
16 years 1 months ago
2006
ACM
The use of 802.11 long-distance links is a cost-effective means of providing wireless connectivity to rural areas. Although deployments in this setting are increasing, a systemat...
172
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
The convergence of mobile technology and e-learning has generated considerable excitement among both practitioners and academics. Mass media continually promotes novel idea about m...