Sciweavers

2324 search results - page 262 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
CEC
2008
IEEE
15 years 8 months ago
Towards the evolution of an artificial homeostatic system
Abstract-- This paper presents an artificial homeostatic system (AHS) devoted to the autonomous navigation of mobile robots, with emphasis on neuro-endocrine interactions. The AHS ...
Renan C. Moioli, Patrícia Amâncio Var...
ATS
2009
IEEE
117views Hardware» more  ATS 2009»
16 years 1 months ago
N-distinguishing Tests for Enhanced Defect Diagnosis
Diagnostic ATPG has traditionally been used to generate test patterns that distinguish pairs of modeled faults. In this work, we investigate the use of n-distinguishing test sets,...
Gang Chen, Janusz Rajski, Sudhakar M. Reddy, Irith...
CGF
2010
124views more  CGF 2010»
15 years 6 months ago
DTI in Context: Illustrating Brain Fiber Tracts In Situ
We present an interactive illustrative visualization method inspired by traditional pen-and-ink illustration styles. Specifically, we explore how to provide context around DTI fib...
Pjotr Svetachov, Maarten H. Everts, Tobias Isenber...
OOPSLA
2010
Springer
15 years 4 months ago
Towards a tool-based development methodology for sense/compute/control applications
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
Damien Cassou, Julien Bruneau, Julien Mercadal, Qu...
SMA
2009
ACM
130views Solid Modeling» more  SMA 2009»
16 years 25 days ago
A symbolic-numerical envelope algorithm using quadratic MOS patches
In this paper, we describe an algorithm for generating an exact rational envelope of a two-parameter family of spheres given by a quadratic patch in R3,1 , which is considered as ...
Bohumír Bastl, Jirí Kosinka, Mirosla...