Sciweavers

1050 search results - page 123 / 210
» Generating Executable Scenarios from Natural Language
Sort
View
233
Voted
FDL
2004
IEEE
15 years 7 months ago
Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
P. Hastono, Stephan Klaus, Sorin A. Huss
141
Voted
CSFW
2007
IEEE
15 years 10 months ago
Creating Vulnerability Signatures Using Weakest Preconditions
Signature-based tools such as network intrusion detection systems are widely used to protect critical systems. Automatic signature generation techniques are needed to enable these...
David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong...
153
Voted
EMNLP
2010
15 years 1 months ago
Improving Mention Detection Robustness to Noisy Input
Information-extraction (IE) research typically focuses on clean-text inputs. However, an IE engine serving real applications yields many false alarms due to less-well-formed input...
Radu Florian, John F. Pitrelli, Salim Roukos, Imed...
AIED
2009
Springer
15 years 10 months ago
Identifying strategies in user's exploratory learning behaviour for mathematical generalisation
Abstract. The nature of the activities that take place in Exploratory Learning Environments allow generating a variety of learner trajectories and makes difficult to develop a mod...
Mihaela Cocea, George D. Magoulas
129
Voted
DAGSTUHL
2010
15 years 5 months ago
A Survey of Visualization Methods for Special Relativity
This paper provides a survey of approaches for special relativistic visualization. Visualization techniques are classified into three categories: Minkowski spacetime diagrams, dep...
Daniel Weiskopf