Sciweavers

15754 search results - page 657 / 3151
» Programs are Knowledge Bases
Sort
View
ICMCS
2005
IEEE
112views Multimedia» more  ICMCS 2005»
16 years 27 days ago
Online End Detection for Live-Broadcast Sports TV Programs
In this paper, a method for automatically detecting the end of lively broadcasted sports programs is proposed, which enables users to record the full TV programs when they run ove...
Hao-Da Huang, Xian-Sheng Hua, Shipeng Li, Hong-Jia...
ICLP
2005
Springer
16 years 25 days ago
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
Manh Thang Nguyen, Danny De Schreye
OOPSLA
2005
Springer
16 years 24 days ago
Io: a small programming language
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
Steve Dekorte
ISER
2004
Springer
142views Robotics» more  ISER 2004»
16 years 20 days ago
Interactive Multi-Modal Robot Programming
As robots enter the human environment and come in contact with inexperienced users, they need to be able to interact with users in a multi-modal fashion—keyboard and mouse are n...
Soshi Iba, Christiaan J. J. Paredis, Pradeep K. Kh...
PATAT
2004
Springer
148views Education» more  PATAT 2004»
16 years 20 days ago
Interactively Solving School Timetabling Problems Using Extensions of Constraint Programming
Timetabling problems have been frequently studied due to their wide range of applications. However, they are often solved manually because of the lack of appropriate computer tools...
Hadrien Cambazard, Fabien Demazeau, Narendra Jussi...