25112 search results - page 4945 / 5023 » Data, Information, and Knowledge |
194
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
143
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a new method for improving the accuracy of range information using low resolution ultrasonic sensors mounted on a mobile robot. These sensors emit ultra-sound...
165
click to vote
IPCCC
1999
IEEE
15 years 10 months ago
1999
IEEE
Performance of Web servers is critical to the success of many corporations and organizations. However, very few results have been published that quantitatively study the server be...
178
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...
170
click to vote
ICSE
1999
IEEE-ACM
1999
IEEE-ACM
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
15 years 10 months ago
Source code browsing is an important part of program comprehension. Browsers expose semantic and syntactic relationships (such as between object references and definitions) in GU...