Sciweavers

271 search results - page 39 / 55
» Procedural Urban Modeling in Practice
Sort
View
ICCAD
2007
IEEE
173views Hardware» more  ICCAD 2007»
14 years 6 months ago
Bounding L2 gain system error generated by approximations of the nonlinear vector field
Abstract— Typical nonlinear model order reduction approaches need to address two issues: reducing the order of the model, and approximating the vector field. In this paper we fo...
Kin Cheong Sou, Alexandre Megretski, Luca Daniel
ICDCS
2007
IEEE
14 years 4 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee
HUC
2007
Springer
14 years 4 months ago
A Statistical Reasoning System for Medication Prompting
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...
Sengul Vurgun, Matthai Philipose, Misha Pavel
HICSS
2002
IEEE
71views Biometrics» more  HICSS 2002»
14 years 2 months ago
Source Code Generator Based on a Proprietary Specification Language
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
Kresimir Fertalj, Damir Kalpic, Vedran Mornar
HPDC
1993
IEEE
14 years 2 months ago
Supporting Heterogeneity and Distribution in the Numerical Propulsion System
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...
Patrick T. Homer, Richard D. Schlichting