3116 search results - page 537 / 624 » Positively dependent types |
157
click to vote
ICDT
2003
ACM
15 years 9 months ago
2003
ACM
Abstract. Repairing a database means bringing the database in accordance with a given set of integrity constraints by applying modifications that are as small as possible. In the ...
142
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Modern smartphones provide a high sophisticated camera and a high resolution display. Therefore, they can be used to enable various application scenarios for 1D and 2D barcode re...
129
click to vote
SIGUCCS
2000
ACM
15 years 8 months ago
2000
ACM
The Department of Management Studies, (DOMS) has had a Computer Laboratory for a decade. DOMS IT environment has become increasingly complex. From having less than 20 standalone P...
144
click to vote
CIAC
2000
Springer
15 years 8 months ago
2000
Springer
A minimum spanning tree (MST) with a small diameter is required in numerous practical situations. It is needed, for example, in distributed mutual exclusion algorithms in order to ...
142
click to vote
GECCO
1999
Springer
15 years 8 months ago
1999
Springer
Using the thermodynamics of DNA melting, a technique is proposed to choose a reaction temperature for the DNA computation that minimizes the potential for mishybridizations. Adlem...