1054 search results - page 85 / 211 » A Logic Language of Granular Computing |
145
Voted
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
124
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be: (1) the proof of congruence, as well as enhancements of the bisimulatio...
164
Voted
COMPUTER
2007
15 years 5 months ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
166
click to vote
COSIT
1999
Springer
15 years 9 months ago
1999
Springer
We extend the theory about terminological default reasoning by using a logical base language that can represent spatioterminological phenomena. Based on this description logic lang...
142
Voted
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Dynamic correctness checking tools (a.k.a. lifeguards) can detect a wide array of correctness issues, such as memory, security, and concurrency misbehavior, in unmodified executa...