11436 search results - page 2177 / 2288 » Modeling Real Reasoning |
199
click to vote
ICTAI
2008
IEEE
16 years 21 days ago
2008
IEEE
Ontologies are a well-motivated formal representation to model knowledge needed to extract and encode data from text. Yet, their tight integration with Information Extraction (IE)...
181
click to vote
INFOCOM
2008
IEEE
16 years 20 days ago
2008
IEEE
—Rate allocation is a fundamental problem in the operation of a wireless network because of the necessity to schedule the operation of mutually interfering links between the node...
140
click to vote
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
168
click to vote
LICS
2008
IEEE
16 years 20 days ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...
199
click to vote
WCRE
2008
IEEE
16 years 19 days ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...