1805 search results - page 213 / 361 » A Theory of Closure Operators |
157
click to vote
ISCAS
2008
IEEE
16 years 28 days ago
2008
IEEE
— A fully differential translinear 3-phase sinusoidal oscillator architecture is presented. The architecture is meant for BiCMOS implementation and uses only NPN devices, typical...
155
click to vote
HICSS
2007
IEEE
16 years 26 days ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
169
click to vote
ICRA
2007
IEEE
16 years 25 days ago
2007
IEEE
— In this paper, based on a passivity framework, admittance-type and hybrid-type delay-compensated communication channel models are introduced, which warrant different bilateral ...
159
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
153
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...