228 search results - page 9 / 46 » Towards computer aided mathematics |
JUCS
2000
13 years 8 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
ISPD
2005
ACM
14 years 2 months ago
2005
ACM
Research in floorplanning and block-packing has generated a variety of data structures to represent spatial configurations of circuit modules. Much of this work focuses on the g...
ENTCS
2006
13 years 8 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
FOCI
2007
IEEE
14 years 2 months ago
2007
IEEE
The purpose of this paper is to present a new characterization of the set of all intervals (and of the corresponding set of fuzzy numbers). This characterization is based on sever...
IJCINI
2007
13 years 8 months ago
2007
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...