Sciweavers

209 search results - page 17 / 42
» Inductive Reasoning and Programming Visualization, an Experi...
Sort
View
SIGMOD
1997
ACM
107views Database» more  SIGMOD 1997»
13 years 11 months ago
Picture Programming Project
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
Nita Goyal, Charles Hoch, Ravi Krishnamurthy, Bria...
ICLP
2009
Springer
14 years 8 months ago
Logic Programming for Multiagent Planning with Negotiation
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
ACSC
2006
IEEE
14 years 1 months ago
Plagiarism detection across programming languages
Plagiarism is a widespread problem in assessment tasks; in computing courses, students often plagiarise source code. For all but the smallest classes, manual detection of such pla...
Christian Arwin, Seyed M. M. Tahaghoghi
27
Voted
ICB
2009
Springer
167views Biometrics» more  ICB 2009»
14 years 2 months ago
Partial Face Matching between Near Infrared and Visual Images in MBGC Portal Challenge
The latest multi-biometric grand challenge (MBGC 2008) sets up a new experiment in which near infrared (NIR) face videos containing partial faces are used as a probe set and the vi...
Dong Yi, ShengCai Liao, Zhen Lei, Jitao Sang, Stan...
CAV
2007
Springer
126views Hardware» more  CAV 2007»
14 years 1 months ago
Shape Analysis for Composite Data Structures
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino...