Sciweavers

7121 search results - page 324 / 1425
» Modeling Signs Using Functional Data Analysis
Sort
View
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
16 years 1 months ago
Enterprise Modeling for Information System Development within MDA
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
Janis Osis, Erika Asnina
SEW
2005
IEEE
16 years 19 days ago
Using Visualization to Understand Dependability: A Tool Support for Requirements Analysis
Dealing with dependability requirements is a complex task for stakeholders and analysts as many different aspects of a system must be taken into account at the same time: services...
Paolo Donzelli, Daniel Hirschbach, Victor R. Basil...
SIGSOFT
2010
ACM
15 years 4 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
AMC
2007
54views more  AMC 2007»
15 years 7 months ago
Optimization of radar scanning strategies using an ensemble relative error criterion
We study the formulation of the problem to retrieve wind fields from radar data. The considerations here view the radar locations as fixed with retrieved wind fields as functio...
Luther White, Alan Shapiro
NEUROSCIENCE
2001
Springer
15 years 11 months ago
Analysis and Synthesis of Agents That Learn from Distributed Dynamic Data Sources
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
Doina Caragea, Adrian Silvescu, Vasant Honavar