Sciweavers

4600 search results - page 355 / 920
» Presentation Of The Eurolang Project
Sort
View
RE
2004
Springer
16 years 28 days ago
RETNA: From Requirements to Testing in a Natural Way
Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major ca...
Ravishankar Boddu, Lan Guo, Supratik Mukhopadhyay,...
RE
2004
Springer
16 years 28 days ago
Requirements for Requirements Management Tools
Tools for managing systems requirements help keeping specifications consistent, up-to-date and accessible. Since the requirements for complex systems are themselves complex inform...
Matthias Hoffmann, Nikolaus Kühn, Matthias We...
SAT
2004
Springer
113views Hardware» more  SAT 2004»
16 years 28 days ago
Clause Form Conversions for Boolean Circuits
The Boolean circuits is well established as a data structure for building propositional encodings of problems in preparation for satisfiability solving. The standard method for co...
Paul Jackson, Daniel Sheridan
SEKE
2004
Springer
16 years 28 days ago
Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques
In this work, we present an application of the Fuzzy Logic in the field of prediction in Software Engineering. We specifically use the Fuzzy Prototypical Knowledge Discovery for ch...
José A. Cruz-Lemus, Marcela Genero, Jos&eac...
ECCV
2010
Springer
16 years 28 days ago
Exploiting loops in the graph of trifocal tensors for calibrating a network of cameras
A technique for calibrating a network of perspective cameras based on their graph of trifocal tensors is presented. After estimating a set of reliable epipolar geometries, a parame...