4313 search results - page 402 / 863 » Using time travel to diagnose computer problems |
207
click to vote
IJISEC
2007
15 years 7 months ago
2007
In recent years, a large number of identity-based key agreement protocols from pairings have been proposed. Some of them are elegant and practical. However, the security of this ty...
183
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
A wide range of counting and occurrence constraints can be specified with just two global primitives: the Range constraint, which computes the range of values used by a sequence of...
202
click to vote
RECOMB
2004
Springer
16 years 8 months ago
2004
Springer
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
221
click to vote
BIRTHDAY
2005
Springer
16 years 1 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
249
click to vote
ECCV
2004
Springer
16 years 9 months ago
2004
Springer
A method is proposed to track the full hand motion from 3D points reconstructed using a stereoscopic set of cameras. This approach combines the advantages of methods that use 2D mo...