2225 search results - page 96 / 445 » Logical Structures in the Lexicon |
177
click to vote
OWLED
2007
15 years 7 months ago
2007
: The mathematical nature of description logics has meant that domain experts find it hard to understand. This forms a significant impediment to the creation and adoption of ontolo...
305
click to vote
ACST
2006
15 years 7 months ago
2006
Including mathematical expressions in documents can be a tiresome and difficult process. A recognition system for handwritten mathematical expressions would greatly simplify the t...
113
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...
161
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...
144
click to vote
FUZZIEEE
2007
IEEE
16 years 22 days 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...