Sciweavers

9227 search results - page 1541 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
CVPR
2003
IEEE
16 years 8 months ago
Simultaneous Estimation of Left Ventricular Motion and Material Properties with Maximum a Posteriori Strategy
In addition to its technical merits as a challenging non-rigid motion and structural integrity analysis problem, quantitative estimation of cardiac regional functions and material...
Huafeng Liu, Pengcheng Shi
IPPS
2008
IEEE
16 years 1 months ago
Performance comparison of SGI Altix 4700 and SGI Altix 3700 Bx2
Suitability of the next generation of high-performance computing systems for petascale simulations will depend on a balance between factors such as processor performance, memory p...
Subhash Saini, Dennis C. Jespersen, Dale Talcott, ...
CSL
2004
Springer
16 years 3 days ago
A Dependent Type Theory with Names and Binding
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
Ulrich Schöpp, Ian Stark
ISCAS
1999
IEEE
77views Hardware» more  ISCAS 1999»
15 years 11 months ago
A low-voltage translinear second-order quadrature oscillator
This paper describes the design of a low-voltage translinear second-order quadrature oscillator. The circuit is a direct implementation of a nonlinear second-order state-space desc...
Wouter A. Serdijn, J. Mulder, Michiel H. L. Kouwen...
EFDBS
2000
15 years 8 months ago
HERA: Automatically Generating Hypermedia Front-ends
The generation of hypermedia (or Web-based) presentations plays an important role in information management on the World Wide Web. In applications for Web modeling and querying, in...
Geert-Jan Houben
« Prev « First page 1541 / 1846 Last » Next »