Sciweavers

1776 search results - page 276 / 356
» Hypothesis Testing for Module Test in Software Development
Sort
View
VL
2005
IEEE
159views Visual Languages» more  VL 2005»
15 years 7 months ago
Executable Visual Contracts
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
Marc Lohmann, Stefan Sauer, Gregor Engels
111
Voted
ICRA
1999
IEEE
89views Robotics» more  ICRA 1999»
15 years 6 months ago
An Integrated Interface Tool for the Architecture for Agile Assembly
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
Jay Gowdy, Zack J. Butler
143
Voted
ICRA
2008
IEEE
178views Robotics» more  ICRA 2008»
15 years 8 months ago
Surface based wireless power transmission and bidirectional communication for autonomous robot swarms
—We introduce an inexpensive, low complexity power surface system capable of simultaneously providing wireless power and bidirectional communication from a surface to multiple mo...
Travis Deyle, Matthew S. Reynolds
EACL
1993
ACL Anthology
15 years 3 months ago
A Strategy for Dynamic Interpretation: a Fragment and an Implementation
The strategy for natural language interpretation presented in this paper implements the dynamics of context change by translating natural language texts into a meaning representat...
Olivier Bouchez, Jan van Eijck, Olivier Istace
116
Voted
BIOINFORMATICS
2008
106views more  BIOINFORMATICS 2008»
15 years 2 months ago
Small RNA gene identification and mRNA target predictions in bacteria
Motivation: Bacterial small ribonucleic acids (sRNAs) that are not ribosomal and transfer or messenger RNAs were initially identified in the sixties whereas their molecular functi...
Christophe Pichon, Brice Felden