Sciweavers

3174 search results - page 339 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
SIGSOFT
2005
ACM
16 years 7 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
ICLP
2009
Springer
16 years 7 months ago
A Tabling Implementation Based on Variables with Multiple Bindings
Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known imp...
Pablo Chico de Guzmán, Manuel Carro, Manuel...
CHI
2009
ACM
16 years 7 months ago
Whole body interaction
Very large interactive wall displays do not lend themselves to use with traditional interaction modalities such as mice and keyboards. It is necessary that we develop new interact...
David England, Eva Hornecker, Chris Roast, Pablo R...
KDD
2008
ACM
110views Data Mining» more  KDD 2008»
16 years 7 months ago
Mining preferences from superior and inferior examples
Mining user preferences plays a critical role in many important applications such as customer relationship management (CRM), product and service recommendation, and marketing camp...
Bin Jiang, Jian Pei, Xuemin Lin, David W. Cheung, ...
CHI
2008
ACM
16 years 7 months ago
Ninja cursors: using multiple cursors to assist target acquisition on large screens
We propose the "ninja cursor" to improve the performance of target acquisition, particularly on large screens. This technique uses multiple distributed cursors to reduce...
Masatomo Kobayashi, Takeo Igarashi