Sciweavers

35 search results - page 3 / 7
» Programming by Demonstration of Pick-and-Place Tasks for Ind...
Sort
View
ITS
2004
Springer
130views Multimedia» more  ITS 2004»
13 years 11 months ago
Opening the Door to Non-programmers: Authoring Intelligent Tutor Behavior by Demonstration
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
Kenneth R. Koedinger, Vincent Aleven, Neil T. Heff...
CAD
2011
Springer
12 years 9 months ago
Industrial design using interpolatory discrete developable surfaces
Design using free-form developable surfaces plays an important role in manufacturing industry. Currently most commercial systems can only support converting free-form surfaces int...
Yong-Jin Liu, Kai Tang, Wen-Yong Gong, Tie-Ru Wu
ICCAD
1995
IEEE
110views Hardware» more  ICCAD 1995»
13 years 9 months ago
Fast functional simulation using branching programs
This paper addresses the problem of speeding up functional (delayindependent)logic simulation for synchronousdigital systems. The problem needs very little new motivation – cycl...
Pranav Ashar, Sharad Malik
CAV
2010
Springer
239views Hardware» more  CAV 2010»
13 years 7 months ago
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...
Vineet Kahlon, Chao Wang
SIGMOD
2010
ACM
255views Database» more  SIGMOD 2010»
13 years 10 months ago
Large graph processing in the cloud
As the study of graphs, such as web and social graphs, becomes increasingly popular, the requirements of efficiency and programming flexibility of large graph processing tasks c...
Rishan Chen, Xuetian Weng, Bingsheng He, Mao Yang