Sciweavers

5232 search results - page 737 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
FIW
2003
115views Communications» more  FIW 2003»
15 years 8 months ago
Generalising Feature Interactions in Email
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...
Muffy Calder, Alice Miller
ALIFE
2005
15 years 6 months ago
Flexible Couplings: Diffusing Neuromodulators and Adaptive Robotics
Recent years have seen the discovery of freely diffusing gaseous neurotransmitters, such as nitric oxide (NO), in biological nervous systems. A type of artificial neural network (A...
Andrew Philippides, Phil Husbands, Tom Smith, Mich...
SPIN
2004
Springer
16 years 1 days ago
Translation from Adapted UML to Promela for CORBA-Based Applications
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
Jessica Chen, Hanmei Cui
SIGGRAPH
2000
ACM
15 years 11 months ago
Non-photorealistic virtual environments
We describe a system for non-photorealistic rendering (NPR) of virtual environments. In real time, it synthesizes imagery of architectural interiors using stroke-based textures. W...
Allison Klein, Wilmot Li, Michael M. Kazhdan, Wagn...
FMICS
2006
Springer
15 years 10 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...