1396 search results - page 43 / 280 » A Tale of Two Futures |
DATE
2004
IEEE
14 years 1 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
LCN
2000
IEEE
14 years 1 months ago
2000
IEEE
Future computer networks are expected to carry bursty real-time traffic with stringent time-delay requirements. Popular shortest-path routing protocols have the disadvantage of ca...
ACL
2007
13 years 11 months ago
2007
Obtaining large volumes of inference knowledge, such as entailment rules, has become a major factor in achieving robust semantic processing. While there has been substantial resea...
NLUCS
2008
13 years 11 months ago
2008
Abstract. This paper presents how text summarization can be influenced by textual entailment. We show that if we use textual entailment recognition together with text summarization...
AAAI
2006
13 years 11 months ago
2006
Planning under uncertainty has been well studied, but usually the uncertainty is in action outcomes. This work instead investigates uncertainty in the amount of time that actions ...