Sciweavers

1915 search results - page 96 / 383
» A language for functional interpretation of model based simu...
Sort
View
ICASSP
2011
IEEE
13 years 1 months ago
Maximum a posteriori based regularization parameter selection
The 1 norm regularized least square technique has been proposed as an efficient method to calculate sparse solutions. However, the choice of the regularization parameter is still...
Ashkan Panahi, Mats Viberg
EH
2002
IEEE
97views Hardware» more  EH 2002»
14 years 2 months ago
Coevolution of Form and Function in the Design of Micro Air Vehicles
This paper discusses approaches to cooperative coevolution of form and function for autonomous vehicles, specifically evolving morphology and control for an autonomous micro air v...
Magdalena D. Bugajska, Alan C. Schultz
TIC
1998
Springer
127views System Software» more  TIC 1998»
14 years 1 months ago
Stack-Based Typed Assembly Language
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
J. Gregory Morrisett, Karl Crary, Neal Glew, David...
NGC
1998
Springer
171views Communications» more  NGC 1998»
13 years 9 months ago
Programming Languages for Distributed Applications
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...
Seif Haridi, Peter Van Roy, Per Brand, Christian S...
ICFEM
1998
Springer
14 years 1 months ago
A Process Algebra Based Verification of a Production System
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers