Sciweavers

3913 search results - page 125 / 783
» complexity 2006
Sort
View
ISSTA
2006
ACM
14 years 4 months ago
Using model checking with symbolic execution to verify parallel numerical programs
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
Stephen F. Siegel, Anastasia Mironova, George S. A...
NPL
2002
151views more  NPL 2002»
13 years 9 months ago
Additive Composition of Supervised Self Organizing Maps
The learning of complex relationships can be decomposed into several neural networks. The modular organization is determined by prior knowledge of the problem that permits to split...
Jean-Luc Buessler, Jean-Philippe Urban, Julien Gre...
CRV
2006
IEEE
114views Robotics» more  CRV 2006»
14 years 4 months ago
Generic Detection of Multi-Part Objects by High-Level Analysis
A method is proposed to detect multi-part man-made or natural objects in complex images. It consists in first extracting simple curves and straight lines from the edge map. Then,...
Jean-Francois Bernier, Robert Bergevin
ECEASST
2007
78views more  ECEASST 2007»
13 years 10 months ago
Lightweight Visualisations of COBOL Code for Supporting Migration to SOA
In this age of complex business landscapes, many enterprises turn to SOA for aligning their IT portfolio with their business. Because of the enormous business risk involved with r...
Joris Van Geet, Serge Demeyer
IVC
2000
104views more  IVC 2000»
13 years 10 months ago
Learning spatio-temporal patterns for predicting object behaviour
Rule-based systems employed to model complex object behaviours, do not necessarily provide a realistic portrayal of true behaviour. To capture the real characteristics in a specif...
Neil Sumpter, Andrew J. Bulpitt