Sciweavers

12863 search results - page 2388 / 2573
» Dynamic Data Mining
Sort
View
116
Voted
ROBOCUP
2001
Springer
109views Robotics» more  ROBOCUP 2001»
15 years 8 months ago
Multi-platform Soccer Robot Development System
Abstract. Robot soccer is a challenging research domain, which involves multiple agents (physical robots or ”softbots”) to work together in a dynamic, noisy, cooperative and ad...
Hui Wang, Han Wang, Chunmiao Wang, William Y. C. S...
TACAS
2001
Springer
135views Algorithms» more  TACAS 2001»
15 years 8 months ago
Implementing a Multi-valued Symbolic Model Checker
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
Marsha Chechik, Benet Devereux, Steve M. Easterbro...
134
Voted
ACSAC
2000
IEEE
15 years 8 months ago
Virtual Enterprise Networks: The Next Generation of Secure Enterprise Networking
We present a vision of computing environments in which enterprise networks are built using untrusted public infrastructures. The vision allows for networks to dynamically change d...
Germano Caronni, S. Kumar, Christoph L. Schuba, Gl...
130
Voted
IEEEPACT
2000
IEEE
15 years 8 months ago
Exploring the Limits of Sub-Word Level Parallelism
Multimedia instruction set extensions have become a prominent feature in desktop microprocessor platforms, promising superior performance on a wide range of floating-point and int...
Kevin Scott, Jack W. Davidson
141
Voted
MICRO
2000
IEEE
133views Hardware» more  MICRO 2000»
15 years 8 months ago
Compiler controlled value prediction using branch predictor based confidence
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...
Eric Larson, Todd M. Austin
« Prev « First page 2388 / 2573 Last » Next »