Sciweavers

3973 search results - page 6 / 795
» Records for Logic Programming
Sort
View
WEBNET
2000
14 years 11 months ago
Developing Web Browser Recording Tools Using Server-Side Programming Technology
: It is always a challenge to present Web applications at a facility with no Internet connection. Traditional presentation methods such as transparencies or slides are inadequate f...
Chris J. Lu, Anantha Bangalore, Tony Tse
WWW
2003
ACM
15 years 10 months ago
Description logic programs: combining logic programs with description logic
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, St...
CORR
2004
Springer
151views Education» more  CORR 2004»
14 years 9 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
92
Voted
CHI
2010
ACM
15 years 2 months ago
FrameWire: a tool for automatically extracting interaction logic from paper prototyping tests
Paper prototyping offers unique affordances for interface design. However, due to its spontaneous nature and the limitations of paper, it is difficult to distill and communicate a...
Yang Li, Xiang Cao, Katherine Everitt, Morgan Dixo...