Sciweavers

11484 search results - page 494 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
CVPR
2006
IEEE
16 years 1 months ago
Discriminative Object Class Models of Appearance and Shape by Correlatons
This paper presents a new model of object classes which incorporates appearance and shape information jointly. Modeling objects appearance by distributions of visual words has rec...
Silvio Savarese, John M. Winn, Antonio Criminisi
KBSE
2002
IEEE
15 years 12 months ago
What Makes Finite-State Models More (or Less) Testable?
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
David Owen, Tim Menzies, Bojan Cukic
ECBS
2004
IEEE
153views Hardware» more  ECBS 2004»
15 years 10 months ago
Architectural Description with Integrated Data Consistency Models
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
Peter Tabeling
WSC
2008
15 years 9 months ago
Modeling and simulation of integrated intelligent systems
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...
Yongchang Li, Michael Balchanos, Bassem Nairouz, N...
DNA
2006
Springer
143views Bioinformatics» more  DNA 2006»
15 years 9 months ago
A Framework for Modeling DNA Based Molecular Systems
Recent successes in building large scale DNA nanostructures and in constructing DNA nanomechanical devices have inspired scientists to design more complex nanoscale systems. The de...
Sudheer Sahu, Bei Wang, John H. Reif