1798 search results - page 244 / 360 » Generating presentation constraints from rhetorical structur... |
125
Voted
LOGCOM
2002
15 years 13 days ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
109
click to vote
PERCOM
2007
ACM
16 years 11 days ago
2007
ACM
Although mobile services can be used ubiquitously, their employment and the interaction with them are still restricted by the constraints of mobile devices. In order to facilitate...
261
Voted
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract— We present a model for the joint design of congestion control and media access control (MAC) for ad hoc wireless networks. Using contention graph and contention matrix,...
108
Voted
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
108
click to vote
MEDINFO
2007
15 years 2 months ago
2007
Managing time-stamped data is essential to clinical research activities and often requires the use of considerable domain knowledge, which is difficult to support within database ...