Sciweavers

11097 search results - page 57 / 2220
» Hera presentation generator
Sort
View
FMCO
2003
Springer
154views Formal Methods» more  FMCO 2003»
15 years 3 months ago
Tools for Generating and Analyzing Attack Graphs
Abstract. Attack graphs depict ways in which an adversary exploits system vulnerabilities to achieve a desired state. System administrators use attack graphs to determine how vulne...
Oleg Sheyner, Jeannette M. Wing
ICRA
2002
IEEE
85views Robotics» more  ICRA 2002»
15 years 2 months ago
Self-Generation by a Mobile Robot of Topological Maps of Corridors
In the present paper a system for generation of topological maps is going to be presented. This system is considered as one of the deliberative skills of the mobile robots architec...
Verónica Egido, Ramón Barber, Mar&ia...
DAC
1994
ACM
15 years 1 months ago
Functional Test Generation for FSMs by Fault Extraction
Recent results indicate that functional test pattern generation (TPG) techniques may provide better defect coverages than do traditional logic-level techniques. Functional TPG alg...
Bapiraju Vinnakota, Jason Andrews
COLING
2008
14 years 11 months ago
Automatic Generation of Parallel Treebanks
The need for syntactically annotated data for use in natural language processing has increased dramatically in recent years. This is true especially for parallel treebanks, of whi...
Ventsislav Zhechev, Andy Way
EMNLP
2007
14 years 11 months ago
Exploiting Multi-Word Units in History-Based Probabilistic Generation
We present a simple history-based model for sentence generation from LFG f-structures, which improves on the accuracy of previous models by breaking down PCFG independence assumpt...
Deirdre Hogan, Conor Cafferkey, Aoife Cahill, Jose...