441 search results - page 7 / 89 » A simple boiling module |
PADL
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
CGVR
2006
13 years 8 months ago
2006
: This paper presents a 3D scene modeling method for a Simple and Effective 3D Navigation (SE3DN) system, with 2D map guidance and multimedia information. SE3DN constructs 3D model...
COGSCI
2004
13 years 7 months ago
2004
In order to understand ongoing activity, observers segment it into meaningful temporal parts. Segmentation can be based on bottom-up processing of distinctive sensory characterist...
COGSCI
2006
13 years 7 months ago
2006
Older and younger adults' abilities to use context information rapidly during ambiguity resolution were investigated. In Experiments 1 and 2, younger and older adults heard a...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents novel low-voltage high order single loop sigma-delta modulator structures for wideband applications. The proposed architectures employ the technique of double-...