Sciweavers

1588 search results - page 134 / 318
» Modular action language
Sort
View
125
Voted
TAPSOFT
1991
Springer
15 years 7 months ago
Comparative Semantics for a Real-Time Programming Language with Integration
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
Franck van Breugel
158
Voted
DKE
2008
114views more  DKE 2008»
15 years 3 months ago
Proof explanation for a nonmonotonic Semantic Web rules language
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresi...
133
Voted
SKG
2006
IEEE
15 years 9 months ago
Caribbean/Q: A Massively Multi-Agent Platform with Scenario Description Language
Making a truly useful massively multi-agent system is difficult since the actions of the full ensemble of agents cannot be controlled by designing just one agent. It is critical ...
Yuu Nakajima, Hironori Shiina, Shohei Yamane, Hiro...
107
Voted
COLING
2002
15 years 3 months ago
Automatic Semantic Grouping in a Spoken Language User Interface Toolkit
With the rapid growth of real application domains for NLP systems, there is a genuine demand for a general toolkit from which programmers with no linguistic knowledge can build sp...
Hassan Alam, Hua Cheng, Rachmat Hartono, Aman Kuma...
121
Voted
SI3D
2010
ACM
15 years 10 months ago
Synthesis and editing of personalized stylistic human motion
This paper presents a generative human motion model for synthesis, retargeting, and editing of personalized human motion styles. We first record a human motion database from mult...
Jianyuan Min, Huajun Liu, Jinxiang Chai