1636 search results - page 183 / 328 » Type-Theoretic Functional Semantics |
131
click to vote
BMAS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
144
click to vote
DEXA
2000
Springer
15 years 7 months ago
2000
Springer
This paper is mainly concerned with the extension of database management systems querying capabilities, so that users may address queries involving preferences and get discriminate...
130
Voted
AAAI
2007
15 years 6 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
137
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
119
click to vote
ACL
2008
15 years 5 months ago
2008
Natural Language Processing (NLP) for Information Retrieval has always been an interesting and challenging research area. Despite the high expectations, most of the results indica...