Sciweavers

2056 search results - page 178 / 412
» time 2000
Sort
View
DCC
2000
IEEE
15 years 10 months ago
Lossless Compression of High-Volume Numerical Data from Simulations
Applications in scientific computing operate with high-volume numerical data and the occupied space should be reduced. Traditional compression algorithms cannot provide sufficie...
Vadim Engelson, Dag Fritzson, Peter Fritzson
DEXAW
2000
IEEE
165views Database» more  DEXAW 2000»
15 years 10 months ago
Summarizing Video Datasets in the Spatiotemporal Domain
In this paper we address the problem of analyzing and managing complex dynamic scenes captured in video. We present an approach to summarize video datasets by analyzing the trajec...
Anthony Stefanidis, Panos Partsinevelos, Peggy Ago...
156
Voted
EH
2000
IEEE
168views Hardware» more  EH 2000»
15 years 10 months ago
The GOLEM Project: Evolving Hardware Bodies and Brains
The GOLEM project is an attempt to extend evolutionary techniques into the physical world by evolving diverse electro-mechanical machines (robots) that can be fabricated automatic...
Jordan B. Pollack, Hod Lipson
EUROMICRO
2000
IEEE
15 years 10 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
EUROMICRO
2000
IEEE
15 years 10 months ago
A Simulink(c)-Based Approach to System Level Design and Architecture Selection
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
Luciano Lavagno, Begoña Pino, Leonardo Mari...