Sciweavers

6289 search results - page 1151 / 1258
» Error Sequence Analysis
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 3 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
EDM
2009
116views Data Mining» more  EDM 2009»
15 years 2 months ago
Dimensions of Difficulty in Translating Natural Language into First-Order Logic
In this paper, we present a study of a large corpus of student logic exercises in which we explore the relationship between two distinct measures of difficulty: the proportion of s...
Dave Barker-Plummer, Richard Cox, Robert Dale
EMNLP
2009
15 years 2 months ago
Semi-supervised Semantic Role Labeling Using the Latent Words Language Model
Semantic Role Labeling (SRL) has proved to be a valuable tool for performing automatic analysis of natural language texts. Currently however, most systems rely on a large training...
Koen Deschacht, Marie-Francine Moens
130
Voted
ICRA
2009
IEEE
131views Robotics» more  ICRA 2009»
15 years 2 months ago
Fast needle insertion to minimize tissue deformation and damage
Abstract-- During needle-based procedures, transitions between tissue layers often involve puncture events that produce substantial deformation and tend to drive the needle off cou...
Mohsen Mahvash, Pierre E. Dupont
165
Voted
ICST
2009
IEEE
15 years 2 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
« Prev « First page 1151 / 1258 Last » Next »