Sciweavers

8008 search results - page 264 / 1602
» Computer-Aided Language Processing
Sort
View
IDEAS
1997
IEEE
107views Database» more  IDEAS 1997»
15 years 7 months ago
Query Processing in the ROL system
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
Mengchi Liu, Weidong Yu
WSC
1997
15 years 4 months ago
Simulation of Group Work Processes in Manufacturing
This article describes how a manufacturing system with working people can be modeled and simulated, wherein the focus is on the organizational processes of the people itself. Expl...
Willi Bernhard, Axel Schilling
JAIR
2008
138views more  JAIR 2008»
15 years 3 months ago
Networks of Influence Diagrams: A Formalism for Representing Agents' Beliefs and Decision-Making Processes
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
Ya'akov Gal, Avi Pfeffer
LOGCOM
2008
81views more  LOGCOM 2008»
15 years 3 months ago
The Semantic Processing of Continuous Quantities for Discrete Terms in Ontologies
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
Shenghui Wang, David E. Rydeheard, Jeff Z. Pan
APLAS
2007
ACM
15 years 7 months ago
Timed, Distributed, Probabilistic, Typed Processes
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
Martin Berger, Nobuko Yoshida