Sciweavers

3466 search results - page 545 / 694
» Fast computation of special resultants
Sort
View
LICS
2005
IEEE
16 years 2 days ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
VISUALIZATION
2005
IEEE
16 years 2 days ago
Visualization of White Matter Tracts with Wrapped Streamlines
Diffusion tensor imaging is a magnetic resonance imaging method which has gained increasing importance in neuroscience and especially in neurosurgery. It acquires diffusion proper...
Frank Enders, Natascha Sauber, Dorit Merhof, Peter...
CTRSA
2005
Springer
79views Cryptology» more  CTRSA 2005»
16 years 1 days ago
Malicious Cryptography: Kleptographic Aspects
Abstract. In the last few years we have concentrated our research efforts on new threats to the computing infrastructure that are the result of combining malicious software (malwar...
Adam Young, Moti Yung
DBPL
2005
Springer
130views Database» more  DBPL 2005»
16 years 1 days ago
Complexity and Approximation of Fixing Numerical Attributes in Databases Under Integrity Constraints
Consistent query answering is the problem of computing the answers from a database that are consistent with respect to certain integrity constraints that the database as a whole ma...
Leopoldo E. Bertossi, Loreto Bravo, Enrico Francon...
EUC
2005
Springer
16 years 19 hour ago
Self Location Estimation Scheme Using ROA in Wireless Sensor Networks
Abstract. In wireless channel environments, location estimation error is inevitable when we use the ROA(Received signal strength Of Arrival) for location estimation. Because of mul...
Yun Kyung Lee, Eui Hyeok Kwon, Jae-Sung Lim