Sciweavers

9443 search results - page 255 / 1889
» Web-centric language models
Sort
View
ENTCS
2010
113views more  ENTCS 2010»
15 years 6 months ago
Geometry of Synthesis II: From Games to Delay-Insensitive Circuits
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...
Dan R. Ghica, Alex Smith
ESAW
2006
Springer
15 years 10 months ago
"It's Not Just Goals All the Way Down" - "It's Activities All the Way Down"
The rational agent community uses Michael Bratman's planning theory of intention as its theoretical foundation for the development of its agentoriented BDI languages. We prese...
Maarten Sierhuis
ECAI
2008
Springer
15 years 8 months ago
A New Approach to Planning in Networks
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
Jussi Rintanen
GIR
2008
ACM
15 years 7 months ago
Evaluating field crisping methods for representing spatial prepositions
There is a need for GIR systems to interpret the vague aspects of spatial language. Here we describe an initial approach towards evaluating crisp realisations of a field-based mo...
Mark M. Hall, Christopher B. Jones
ICGI
2000
Springer
15 years 10 months ago
Counting Extensional Differences in BC-Learning
Let BC be the model of behaviourally correct function learning as introduced by B
Frank Stephan, Sebastiaan Terwijn