Sciweavers

249 search results - page 5 / 50
» A Functional Logic Programming Approach to Graphical User In...
Sort
View
WCFLP
2005
ACM
14 years 28 days ago
A declarative debugger of incorrect answers for constraint functional-logic programs
Debugging is one of the essential parts of the software development cycle. However, the usual debugging techniques used in imperative languages such as the step by step execution ...
Rafael Caballero
DSVIS
2003
Springer
14 years 18 days ago
Functionally Modeled User Interfaces
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
Antony Courtney
AGENTS
2000
Springer
13 years 11 months ago
The user interface as an agent environment
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
Robert St. Amant, Luke S. Zettlemoyer
ICLP
2007
Springer
13 years 11 months ago
User-Definable Resource Bounds Analysis for Logic Programs
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
Jorge Navas, Edison Mera, Pedro López-Garc&...
WSCG
2000
134views more  WSCG 2000»
13 years 8 months ago
Development of JAVA User Interface for Digital Television
The digital television development is one of the most important events in the history of television broadcasting. This paper highlights the user interface issue in digital televis...
Chengyuan Peng, Petri Vuorimaa