Sciweavers

2324 search results - page 262 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
131
Voted
CEC
2008
IEEE
15 years 4 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»
15 years 9 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...
118
Voted
CGF
2010
124views more  CGF 2010»
15 years 2 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 12 days 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...
139
Voted
SMA
2009
ACM
130views Solid Modeling» more  SMA 2009»
15 years 9 months 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...