2920 search results - page 356 / 584 » Finite information logic |
172
click to vote
ACISICIS
2005
IEEE
16 years 9 days ago
2005
IEEE
Uncertainty always exists as an unavoidable factor in any pervasive context-aware applications. This is mostly caused by the imperfectness and incompleteness of data. In this pape...
166
click to vote
DSOM
2004
Springer
16 years 2 days ago
2004
Springer
Netconf is a protocol proposed by the IETF that defines a set of operations for network configuration. One of the main issues of Netconf is to define operations such as validate...
168
Voted
TACAS
2004
Springer
16 years 17 hour ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
187
click to vote
CIKM
1999
Springer
15 years 11 months ago
1999
Springer
We examine metadata and data-structure issues for the Historical Newspaper Digital Library. This project proposes to digitize and then do OCR and linguisting processing on several...
192
click to vote
DOLAP
1998
ACM
15 years 11 months ago
1998
ACM
Though designing a data warehouse requires techniques completely different from those adopted for operational systems, no significant effort has been made so far to develop a comp...