8228 search results - page 175 / 1646 » Structural Logical Relations |
131
click to vote
IJCNN
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
145
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
149
click to vote
SSDBM
1999
IEEE
15 years 8 months ago
1999
IEEE
Conducting bioinformatic analyses involves biologists in expressing requests over a range of highly heterogeneous information sources and software tools. Such activities are labor...
199
click to vote
CICLING
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Semantic inference is an important component in many natural language understanding applications. Classical approaches to semantic inference rely on logical representatio...
159
click to vote
AAI
2005
15 years 4 months ago
2005
This paper is about people. It is about understanding how learning and communication mutually influence one another; allowing people to infer each other's communicative behavi...