2529 search results - page 131 / 506 » The Logical Structure of Binding |
116
click to vote
APAL
2005
15 years 6 months ago
2005
We prove that if G is a group definable in a saturated o-minimal structure, then G has no infinite descending chain of type-definable subgroups of bounded index. Equivalently, G h...
170
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficienc...
158
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
The comparison of protein structures is an important problem in Bioinformatics, and Soft Computing techniques were recently introduced for achieving a better representation and po...
172
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...
189
click to vote
ICDAR
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...