107 search results - page 20 / 22 » Decompositional Construction of Lyapunov Functions for Hybri... |
EAAI
2007
13 years 8 months ago
2007
Explaining how engineering devices work is important to students, engineers, and operators. In general, machine generated explanations have been produced from a particular perspec...
ESCIENCE
2007
IEEE
14 years 2 months ago
2007
IEEE
Nowadays, grid and peer-to-peer (p2p) technologies have become popular solutions for large-scale resource sharing and system integration. For e-science workflow systems, grid is a...
TPHOL
1999
IEEE
14 years 26 days ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
LCTRTS
2005
Springer
14 years 2 months ago
2005
Springer
Short vector (SIMD) instructions are useful in signal processing, multimedia, and scientific applications. They offer higher performance, lower energy consumption, and better res...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
—A cardinal prerequisite for the system design of a sensor network, is to understand the geometric environment where sensor nodes are deployed. The global topology of a largescal...