1942 search results - page 119 / 389 » Matroids from modules |
ISER
2000
Springer
14 years 19 days ago
2000
Springer
: In the future, we propose that there will be largely self-sufficient robot colonies operating on distant planets and in harsh environments here on earth. A highly desirable quali...
DAC
1995
ACM
14 years 19 days ago
1995
ACM
- Power estimation in combinational modules is addressed from a probabilistic point of view. The zero-delay hypothesis is considered and under highly correlated input streams, the ...
AMAST
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
DELOS
2007
13 years 10 months ago
2007
The similarity search has become a fundamental computational task in many applications. One of the mathematical models of the similarity – the metric space – has drawn attenti...
COOP
2004
13 years 10 months ago
2004
In this paper we present ThreeDmap, an editor that allows the creation and customization of 3D graphical interfaces for the promotion of awareness information. The development of T...