Sciweavers

2139 search results - page 176 / 428
» Connecting language to the world
Sort
View
PADL
2010
Springer
16 years 3 months ago
Prospective Storytelling Agents
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
Gonçalo Lopes, Luís Moniz Pereira
FDL
2008
IEEE
16 years 29 days ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
ER
2007
Springer
103views Database» more  ER 2007»
16 years 20 days ago
Ontological Semantics for the Use of UML in Conceptual Modeling
Despite its origins in software modeling, there has been growing interest in using the Unified Modeling Language (UML) for conceptual modeling of application domains. However, the...
Xueming Li, Jeffrey Parsons
ICLP
2007
Springer
16 years 20 days ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens
SAC
2004
ACM
15 years 12 months ago
Multilingual semantic elaboration in the DOSE platform
From the early World Wide Web exploitation until contemporary Semantic Web generation, global communication has become an essential need for many people on the Internet. Globaliza...
Dario Bonino, Fulvio Corno, Laura Farinetti, Andre...