21094 search results - page 183 / 4219 » An experiment using DLV-K |
204
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...
178
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...
154
click to vote
ICSM
2007
IEEE
16 years 25 days 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 ...
159
click to vote
MOBICOM
2006
ACM
16 years 15 days 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...
158
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...