2918 search results - page 312 / 584 » Design tools for reliability analysis |
191
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we describe the design and implementation of CP-VIZ, a generic visualization platform for constraint programming. It provides multiple views to show the search tree, ...
150
click to vote
KI
2007
Springer
16 years 23 days ago
2007
Springer
A EU-funded project GeoPKDD develops methods and tools for analysis of massive collections of movement data, which describe changes of spatial positions of discrete entities. Withi...
149
click to vote
CIE
2007
Springer
15 years 10 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
143
click to vote
NAACL
2007
15 years 8 months ago
2007
This paper describes a novel text comparison environment that facilities text comparison administered through assessing and aggregating information nuggets automatically created a...
198
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...