249 search results - page 23 / 50 » A Functional Logic Programming Approach to Graphical User In... |
157
Voted
CAV
2012
Springer
12 years 12 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
CACM
1999
14 years 9 months ago
1999
ion suffices ("decide which type you want and provide a full set of operations for each type"). If the application domain is, say, the administration of a university, the...
122
Voted
TPLP
2010
14 years 8 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...
DAGSTUHL
2007
14 years 11 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
CHI
1999
ACM
15 years 1 months ago
1999
ACM
This paper describes an architecture for supporting interface attuchments- small interactive programs which are designed to augment the functionality of other applications. This a...