1355 search results - page 251 / 271 » On the multiplication groups of semifields |
CSCW
2004
ACM
14 years 1 months ago
2004
ACM
Single Display Groupware (SDG) lets multiple co-located people, each with their own input device, interact simultaneously over a single communal display. While SDG is beneficial, ...
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
Three-way merging is a technique that may be employed for reintegrating changes to a document in cases where multiple independently modified copies have been made. While tools fo...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
SSDBM
2003
IEEE
14 years 1 months ago
2003
IEEE
Many scientific applications generate large spatiotemporal datasets. A common way of exploring these datasets is to identify and track regions of interest. Usually these regions ...
SIGUCCS
2003
ACM
14 years 1 months ago
2003
ACM
Before embarking upon a large web site project, whether creating a new site or just redesigning one, it is generally accepted practice not to begin work until all the problem spec...