4722 search results - page 837 / 945 » Encoding Program Executions |
137
click to vote
MSE
2000
IEEE
15 years 6 months ago
2000
IEEE
Electronic photography is gaining parts of the photography market and tends to replace gradually all argentic photography. The combination of digital camera and computer technolog...
116
click to vote
VL
2000
IEEE
15 years 6 months ago
2000
IEEE
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in le...
120
click to vote
DEXA
2000
Springer
15 years 6 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
113
click to vote
COMPSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
As the complexity of software systems increases, so need for a good mechanism of abstraction. architecture design is an abstraction, hiding an immense amount of details about the ...
119
click to vote
SIGMOD
1999
ACM
15 years 6 months ago
1999
ACM
Several techniques that compute the join between two spatial datasets have been proposed during the last decade. Among these methods, some consider existing indices for the joined...