2145 search results - page 325 / 429 » Lax Logical Relations |
CVIU
2004
13 years 7 months ago
2004
We present a new representation and recognition method for human activities. An activity is considered to be composed of action threads, each thread being executed by a single act...
JUCS
2000
13 years 7 months ago
2000
This article introduces the idea that information compression by multiple alignment, unification and search (ICMAUS) provides a framework within which natural language syntax may ...
IJDAR
2002
13 years 7 months ago
2002
We present a document analysis system able to assign logical labels and extract the reading order in a broad set of documents. All information sources, from geometric features and ...
AIL
1999
13 years 7 months ago
1999
In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide th...
ENTCS
2008
13 years 7 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...