Sciweavers

2806 search results - page 394 / 562
» BML and Related Tools
Sort
View
SAC
2009
ACM
15 years 11 months ago
A taxonomy and adversarial model for attacks against network log anonymization
In recent years, it has become important for researchers, security incident responders and educators to share network logs, and many log anonymization tools and techniques have be...
Justin King, Kiran Lakkaraju, Adam J. Slagell
DESRIST
2009
Springer
100views Education» more  DESRIST 2009»
15 years 11 months ago
A theory-based alternative for the design of instruction: functional design
An approach to instructional design is described which avoids some of the problems traditionally associated with process design models, sometimes referred to as waterfall models. ...
Andrew S. Gibbons
DAGM
2001
Springer
15 years 11 months ago
A New Contour-Based Approach to Object Recognition for Assembly Line Robots
A complete processing chain for visual object recognition is described in this paper. The system automatically detects individual objects on an assembly line, identifies their typ...
Markus Suing, Lothar Hermes, Joachim M. Buhmann
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 11 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
SIGGRAPH
2010
ACM
15 years 11 months ago
SmartBoxes for interactive urban reconstruction
We introduce an interactive tool which enables a user to quickly assemble an architectural model directly over a 3D point cloud acquired from large-scale scanning of an urban scen...
Liangliang Nan, Andrei Sharf, Hao Zhang, Daniel Co...