6607 search results - page 424 / 1322 » Making TeX Work |
172
click to vote
LOGCOM
2007
15 years 6 months ago
2007
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Ben...
204
click to vote
ASE
1998
15 years 5 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
124
click to vote
JODI
2002
15 years 5 months ago
2002
This paper explores the idea of dynamically adding multidestination links to Web pages, based on the context of the pages and users, as a way of assisting Web users in their infor...
290
Voted
SIGIR
1998
ACM
15 years 5 months ago
1998
ACM
Ranked queries are used to locate relevant documents in text databases. In a ranked query a list of terms is specified, then the documents that most closely match the query are re...
201
click to vote
SOPR
1998
15 years 5 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...