586 search results - page 104 / 118 » chi 2007 |
139
click to vote
DATE
2007
IEEE
16 years 10 days ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
152
click to vote
FGCN
2007
IEEE
16 years 10 days ago
2007
IEEE
To keep the evidence that a stored hard disk does not modify its content, the intuitive scheme is to calculate a hash value of the data in all the sectors in a specific order. Ho...
175
click to vote
ICCV
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract. We describe a visual communication application for a dark, theaterlike interactive virtual simulation training environment. Our system visually estimates and tracks the b...
139
click to vote
ICDCS
2007
IEEE
16 years 10 days ago
2007
IEEE
Connectivity is a crucial issue in wireless networks. Gupta and Kumar show that with omnidirectional antennas, the critical transmission range for a wireless network to achieve as...
167
click to vote
TAMC
2007
Springer
16 years 3 days ago
2007
Springer
Pass observed that universal composable zero-knowledge (UCZK) protocols in the common reference string (CRS) model, where a common reference string is selected trustily by a truste...