2920 search results - page 488 / 584 » Finite information logic |
181
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
179
click to vote
DKE
2010
15 years 3 months ago
2010
Integration of software applications can be achieved on different levels: the data level, the business logic level, and the user interface level. Integration on the user interface ...
202
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In many contexts, one is confronted with the problem of extracting information from large amounts of different types soft data (e.g., text) and hard data (from e.g., physics-based...
204
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
The complexity of modern web applications makes it difficult for developers to fully understand the security implications of their code. Attackers exploit the resulting security v...
147
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...