Sciweavers

9219 search results - page 543 / 1844
» Dynamics Modeling and Culling
Sort
View
IFM
2009
Springer
16 years 1 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
ISQED
2008
IEEE
98views Hardware» more  ISQED 2008»
16 years 1 months ago
Design Margin Exploration of Spin-Torque Transfer RAM (SPRAM)
We proposed a combined magnetic and circuit level technique to explore the design methodology of SpinTorque Transfer RAM (SPRAM). A dynamic magnetic model of magnetic tunneling ju...
Yiran Chen, Xiaobin Wang, Hai Li, Harry Liu, Dimit...
FGR
1998
IEEE
131views Biometrics» more  FGR 1998»
15 years 11 months ago
Tracking and Segmenting People in Varying Lighting Conditions Using Colour
Colour cues were used to obtain robust detection and tracking of people in relatively unconstrained dynamic scenes. Gaussian mixture models were used to estimate probability densi...
Yogesh Raja, Stephen J. McKenna, Shaogang Gong
JELIA
2000
Springer
15 years 10 months ago
Considerations on Updates of Logic Programs
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Ha...
ISICT
2003
15 years 8 months ago
Applications considered harmful for ambient systems
The notion of application – a single, bounded piece of functionality presented to users – goes almost unquestioned. However in the context of highly adaptive and ambient system...
Simon Dobson