4397 search results - page 485 / 880 » Relational Algebra Operations |
160
Voted
IADIS
2003
15 years 6 months ago
2003
The paper introduces the concept of digital city and discusses how to assess a particular project, concerning its success in connecting the real city with its virtual counterpart....
124
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--This paper presents an approach to the task of locating a group of buildings based solely on their relative spatial relationships. This situation can occur in the problem...
151
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
156
click to vote
ENTCS
2008
15 years 5 months ago
2008
We present a graphical semantics for the pi-calculus, that is easier to visualize and better suited to expressing causality and temporal properties than conventional relational se...
159
click to vote
FAC
2008
15 years 5 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...