1413 search results - page 168 / 283 » Bisimilarity of Open Terms |
169
click to vote
SIGSOFT
2004
ACM
15 years 12 months ago
2004
ACM
Many software applications have a component based on database management systems in which information is generally handled through SQL queries embedded in the application code. Wh...
179
click to vote
VRST
2004
ACM
15 years 12 months ago
2004
ACM
In this paper we present an interactive collision detection algorithm for complex and deformable objects. For two target models, our approach rapidly calculates their region of in...
161
click to vote
WPES
2004
ACM
15 years 12 months ago
2004
ACM
In an open environment such as the Internet, the decision to collaborate with a stranger (e.g., by granting access to a resource) is often based on the characteristics (rather tha...
147
click to vote
ADC
2004
Springer
15 years 12 months ago
2004
Springer
Reflective Relational Machines were introduced by S. Abiteboul, C. Papadimitriou and V. Vianu in 1994, as variations of Turing machines which are suitable for the computation of ...
124
click to vote
GD
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we study simple families of clustered graphs that are highly unconnected. We start by studying 3-cluster cycles, which are clustered graphs such that the underlying ...