Sciweavers

1707 search results - page 113 / 342
» On the Design of Agent-Based Systems using UML and Extension...
Sort
View
DEXA
1994
Springer
102views Database» more  DEXA 1994»
15 years 10 months ago
The Design and Implementation of a Legal Text Database
We describe the design and implementation of a legal text database. The database of provides a number of Greek Council of State decisions in the form of a computer-accessible mediu...
Diomidis Spinellis
ICRA
2000
IEEE
132views Robotics» more  ICRA 2000»
15 years 10 months ago
Design of a 5-cm Monopod Hopping Robot
The monopod hopper described here fits into a cube that is 5 cm on a side, is autonomous, and is designed to be statically and passively dynamically stable. Hopping is achieved th...
Terence E. Wei, Gabriel M. Nelson, Roger D. Quinn,...
GECCO
2007
Springer
212views Optimization» more  GECCO 2007»
16 years 15 days ago
A developmental model of neural computation using cartesian genetic programming
The brain has long been seen as a powerful analogy from which novel computational techniques could be devised. However, most artificial neural network approaches have ignored the...
Gul Muhammad Khan, Julian F. Miller, David M. Hall...
VLSID
2005
IEEE
285views VLSI» more  VLSID 2005»
16 years 6 months ago
Power Monitors: A Framework for System-Level Power Estimation Using Heterogeneous Power Models
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...
Nikhil Bansal, Kanishka Lahiri, Anand Raghunathan,...
ISCAS
2003
IEEE
89views Hardware» more  ISCAS 2003»
15 years 11 months ago
Synthesizing checkers for on-line verification of System-on-Chip designs
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...
Rolf Drechsler