5401 search results - page 948 / 1081 » Using Versions in GIS |
134
Voted
STOC
2009
ACM
16 years 3 months ago
2009
ACM
We consider matrix groups, specified by a list of generators, over finite fields. The two most basic questions about such groups are membership in and the order of the group. Even...
115
Voted
KDD
2002
ACM
16 years 3 months ago
2002
ACM
The analysis of user behavior on the Web presupposes a reliable reconstruction of the users' navigational activities. Cookies and server-generated session identifiers have be...
124
Voted
CHI
2001
ACM
16 years 2 months ago
2001
ACM
In human-to-human interaction, people sometimes are able to pick up and respond sensitively to the other's internal state as it shifts moment by moment over the course of an ...
205
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
243
Voted
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...