Sciweavers

3614 search results - page 459 / 723
» Numerical Computing with MATLAB
Sort
View
SAC
2010
ACM
15 years 8 months ago
Dual analysis for proving safety and finding bugs
Program bugs remain a major challenge for software developers and various tools have been proposed to help with their localization and elimination. Most present-day tools are base...
Corneliu Popeea, Wei-Ngan Chin
ACSC
2009
IEEE
15 years 8 months ago
Using Chronological Splitting to Compare Cross- and Single-company Effort Models: Further Investigation
Numerous studies have used historical datasets to build and validate models for estimating software development effort. Very few used a chronological split (where projects’ end ...
Chris Lokan, Emilia Mendes
APSCC
2009
IEEE
15 years 8 months ago
Selecting Web services based on past user experiences
Since the Internet of Services (IoS) is becoming reality, there is an inherent need for novel service selection mechanisms, which work in spite of large numbers of alternative ser...
Philipp Leitner, Anton Michlmayr, Florian Rosenber...
ICCSA
2009
Springer
15 years 8 months ago
Parameter-Less GA Based Crop Parameter Assimilation with Satellite Image
Crop Assimilation Model (CAM) predicts the parameters of agrohydrological models with satellite images. CAM with double layers GA called CAM-DLGA, uses Soil-Water-Atmosphere-Plant ...
Shamim Akhter, Keigo Sakamoto, Yann Chemin, Kento ...
CCECE
2009
IEEE
15 years 8 months ago
A distributed and cooperative supervisory estimation of multi-agent systems - Part I: Framework
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...
Seyyedmohsen Azizi, Mani M. Tousi, Kash Khorasani