8337 search results - page 1485 / 1668 » Reasoning With Characteristic Models |
147
click to vote
DAC
1996
ACM
15 years 9 months ago
1996
ACM
Boundary element methods (BEM) are often used for complex 3-D capacitance extraction because of their efficiency, ease of data preparation, and automatic handling of open regions. ...
154
click to vote
ISCOPE
1997
Springer
15 years 9 months ago
1997
Springer
This paper describes issues encountered in the design and implementation of a parallel object-oriented database system. In particular, we find that the design of a client/server ...
137
click to vote
TAPSOFT
1997
Springer
15 years 9 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
138
Voted
EWHCI
1993
15 years 9 months ago
1993
One of the new design goals in Human Computer Interaction is to extend the sensory-motor capabilities of computer systems to better match the natural communication means of human b...
137
click to vote
ECAIW
1994
Springer
15 years 9 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...