12774 search results - page 231 / 2555 » A Framework for Proof Systems |
178
click to vote
GI
2004
Springer
16 years 7 hour ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...
146
click to vote
EEE
2005
IEEE
16 years 7 days ago
2005
IEEE
Traceability analysis is crucial to the development of web-centric systems, particularly those with frequent system changes, fine-grained evolution and maintenance, and high level...
189
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
176
click to vote
ETS
2002
IEEE
15 years 6 months ago
2002
IEEE
In the analysis of any learning environment, whether small or large, one observes within it a "set of human activities related to each other so they can be viewed as a whole&...
149
click to vote
IJON
2002
15 years 6 months ago
2002
The otolith organs in the vestibular system are excellent detectors of linear accelerations. However, any measurement of linear acceleration is ambiguous between a tilt in a gravi...