5622 search results - page 678 / 1125 » Solving architectural modelling problems using knowledge |
140
click to vote
AI
2004
Springer
15 years 7 months ago
2004
Springer
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
159
Voted
DAC
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes a two-state methodology for register transfer level (RTL) logic simulation in which the use of the Xstate is completely eliminated inside ASIC designs. Exampl...
197
click to vote
ISBI
2006
IEEE
16 years 8 months ago
2006
IEEE
We present an algebraic solution to direct registration of diffusion tensor images under various local deformation models. We show how to linearly recover the deformation from the...
170
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— We propose Computational Sensor Networks as a methodology to exploit models of physical phenomena in order to better understand the structure of the sensor network. To do so, i...
177
click to vote
FOCS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we use random-selection protocols in the full-information model to solve classical problems in distributed computing. Our main results are the following: • An O(l...