Sciweavers

2226 search results - page 95 / 446
» Pdk: The System and Its Language
Sort
View
DDEP
2000
Springer
15 years 10 months ago
A Link-Oriented Comparison of Hyperdocuments and Programs
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...
Heather Brown, Peter J. Brown, Les Carr, Wendy Hal...
FLAIRS
1998
15 years 7 months ago
Action-Centered Communication with an Embedded Agent
In mostcases natural languageprocessingis seen as an isolated cognitive capability of a system. Languageunderstandingis often restricted to the mappingof natural languageexpressio...
Jan-Torsten Milde, Kornelia Peters, Simone Strippg...
LPNMR
2007
Springer
16 years 10 days ago
GrinGo : A New Grounder for Answer Set Programming
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
Martin Gebser, Torsten Schaub, Sven Thiele
CORR
2011
Springer
142views Education» more  CORR 2011»
14 years 10 months ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp
CC
2006
Springer
176views System Software» more  CC 2006»
15 years 8 months ago
The CGiS Compiler-A Tool Demonstration
The CGiS programming language is designed to open up the parallel performance possibilities of graphics processing units (GPUs) to general purpose programmers. This tool demonstrat...
Philipp Lucas, Nicolas Fritz, Reinhard Wilhelm