215 search results - page 39 / 43 » Integrating Abduction and Induction |
TAL
2004
Springer
14 years 29 days ago
2004
Springer
In the current European scenario, characterized by the coexistence of communities writing and speaking a great variety of languages, machine translation has become a technology of ...
ISCAS
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper presents the preliminary design and experimental results of a standard AA size vibration-induced micro energy transducer which is integrated with a power-management cir...
ISLPED
2003
ACM
14 years 26 days ago
2003
ACM
We introduce and analyze the ground bounce due to power mode transition in power gating structures. To reduce the ground bounce, we propose novel power gating structures in which ...
ICCAD
2000
IEEE
14 years 1 days ago
2000
IEEE
The increasing size of integrated systems combined with deep submicron physical modeling details creates an explosion in RLC interconnect modeling complexity of unmanageable propo...
TPHOL
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...