Sciweavers

3709 search results - page 252 / 742
» Supporting experimentation with Side-Views
Sort
View
ICLP
2009
Springer
16 years 7 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,...
VLSID
2009
IEEE
142views VLSI» more  VLSID 2009»
16 years 7 months ago
Floorplanning for Partial Reconfiguration in FPGAs
Partial Reconfiguration on heterogeneous Field Programmable Gate Arrays (FPGA) with millions of gates yields better utilization of resources by swapping in and out the active modu...
Pritha Banerjee, Megha Sangtani, Susmita Sur-Kolay
CHI
2009
ACM
16 years 7 months ago
Designing for families
In this Special Interest Group (SIG) we plan to focus on discussions and activities surrounding the design of technologies to support families. Many researchers and designers stud...
Carman Neustaedter, Svetlana Yarosh, A. J. Bernhei...
SIGCSE
2009
ACM
110views Education» more  SIGCSE 2009»
16 years 7 months ago
Personalizing CS1 with robots
We have developed a CS1 curriculum that uses a robotics context to teach introductory programming [1]. Core to our approach is that each student has their own personal robot. Our ...
Jay Summet, Deepak Kumar, Keith J. O'Hara, Daniel ...
KDD
2005
ACM
99views Data Mining» more  KDD 2005»
16 years 7 months ago
Determining an author's native language by mining a text for errors
In this paper, we show that stylistic text features can be exploited to determine an anonymous author's native language with high accuracy. Specifically, we first use automat...
Moshe Koppel, Jonathan Schler, Kfir Zigdon