Sciweavers

564 search results - page 42 / 113
» The First Answer Set Programming System Competition
Sort
View
ICALT
2003
IEEE
15 years 11 months ago
An Intelligent Tutoring System Prototype for Learning to Program Java?
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...
Edward R. Sykes
ICASSP
2011
IEEE
14 years 9 months ago
Rate control for PSD limited multiple access systems through linear programming
In this paper we discuss rate control for multiuser multicarrier systems, where the transmitter has a single antenna and is subject to a PSD mask limitation while the receiver has...
Amir Leshem, Ephraim Zehavi
IPPS
2000
IEEE
15 years 10 months ago
Reduction Optimization in Heterogeneous Cluster Environments
Network of workstation (NOW) is a cost-effective alternative to massively parallel supercomputers. As commercially available off-the-shelf processors become cheaper and faster, ...
Pangfeng Liu, Da-Wei Wang
ICLP
2009
Springer
16 years 6 months ago
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
Martin Gebser, Roland Kaminski, Benjamin Kaufmann,...
SIGECOM
2006
ACM
155views ECommerce» more  SIGECOM 2006»
15 years 12 months ago
Incentives engineering for structured P2P systems - a feasibility demonstration using economic experiments
Structured peer-to-peer systems allow to administer large volumes of data. Several peers collaborate to generate a query result. Analyses of unstructured peer-to-peer systems, nam...
Stephan Schosser, Klemens Böhm, Rainer Schmid...