Sciweavers

8582 search results - page 19 / 1717
» Here or There
Sort
View
DAC
1999
ACM
14 years 9 months ago
Equivalent Elmore Delay for RLC Trees
- Closed form solutions for the 50% delay, rise time, overshoots, and settling time of signals in an RLC tree are presented. These solutions have the same accuracy characteristics ...
Eby G. Friedman, José Luis Neves, Yehea I. ...
ISBI
2004
IEEE
14 years 9 months ago
Sequential vs Simultaneous Stochastic Segmentation
In past work, the Metropolis Algorithm along with Gibbs Priors was used to successfully segment two-dimensional noisy gray images into a small finite number of labels. In applicat...
Eilat Vardi-Gonen, Gabor T. Herman
ASM
2010
ASM
14 years 5 months ago
Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
Andrew Ireland, Gudmund Grov, Michael Butler
ICSEA
2009
IEEE
14 years 3 months ago
Virtualization Techniques for Cross Platform Automated Software Builds, Tests and Deployment
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...
Thomas Müller, Alois Knoll
ICTA
2009
IEEE
14 years 3 months ago
SL Teacher: a Framework for teaching LSF on the Web
In this paper, we present SL Teacher, a framework for teaching French sign language using web 2.0 and virtual signer technologies. We present here the main features of the web-bas...
Jean-Paul Sansonnet, Annelies Braffort, Jér...