Sciweavers

2775 search results - page 498 / 555
» Visualizing abstract events
Sort
View
GLOBECOM
2009
IEEE
15 years 10 months ago
Anomaly-Based Identification of Large-Scale Attacks
Abstract--Large-scale attacks like Distributed Denial-ofService (DDoS) attacks still pose unpredictable threats to the Internet infrastructure and Internet-based business. Thus, ma...
Thomas Gamer
MMM
2010
Springer
154views Multimedia» more  MMM 2010»
15 years 10 months ago
Learning Cooking Techniques from YouTube
Abstract. Cooking is a human activity with sophisticated process. Underlying the multitude of culinary recipes, there exist a set of fundamental and general cooking techniques, suc...
Guangda Li, Richang Hong, Yantao Zheng, Shuicheng ...
AISC
2004
Springer
15 years 10 months ago
Proving and Constraint Solving in Computational Origami
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit...
AMAST
2006
Springer
15 years 10 months ago
State Space Representation for Verification of Open Systems
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
Irem Aktug, Dilian Gurov
CDB
2004
Springer
158views Database» more  CDB 2004»
15 years 10 months ago
Constraint Databases, Data Structures and Efficient Query Evaluation
Abstract. Constraint databases that can be described by boolean combinations of polynomial inequalities over the reals have received ample research attention. In particular, the ex...
Joos Heintz, Bart Kuijpers