Sciweavers

8008 search results - page 546 / 1602
» Computer-Aided Language Processing
Sort
View
TAL
2010
Springer
15 years 1 months ago
A Formal Ontology for a Computational Approach of Time and Aspect
This paper provides a linguistic semantic analysis of time and aspect in natural languages. On the basis of topological concepts, notions are introduced like the basic aspectual op...
Aurelien Arena, Jean-Pierre Desclés
ATAL
2003
Springer
15 years 11 months ago
Autonomy and Agent Deliberation
Abstract. An important aspect of agent autonomy is the decision making capability of the agents. We discuss several issues that agents need to deliberate about in order to decide w...
Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
EMNLP
2010
15 years 4 months ago
Enhancing Domain Portability of Chinese Segmentation Model Using Chi-Square Statistics and Bootstrapping
Almost all Chinese language processing tasks involve word segmentation of the language input as their first steps, thus robust and reliable segmentation techniques are always requ...
Baobao Chang, Dongxu Han
PODS
2008
ACM
250views Database» more  PODS 2008»
16 years 6 months ago
Approximating predicates and expressive queries on probabilistic databases
We study complexity and approximation of queries in an expressive query language for probabilistic databases. The language studied supports the compositional use of confidence com...
Christoph Koch