Sciweavers

4949 search results - page 980 / 990
» Consistency and Set Intersection
Sort
View
SYNTHESE
2011
88views more  SYNTHESE 2011»
13 years 5 months ago
Saving the intuitions: polylithic reference
: My main aim in this paper is to clarify the concepts of referential success and of referential continuity that are so crucial to the scientific realism debate. I start by conside...
Ioannis Votsis
TIT
2011
134views more  TIT 2011»
13 years 5 months ago
Estimating Heavy-Tail Exponents Through Max Self-Similarity
: In this paper, a novel approach to the problem of estimating the heavy–tail exponent α > 0 of a distribution is proposed. It is based on the fact that block–maxima of siz...
Stilian Stoev, George Michailidis, Murad S. Taqqu
TMI
2011
108views more  TMI 2011»
13 years 5 months ago
Incorporation of a Left Ventricle Finite Element Model Defining Infarction Into the XCAT Imaging Phantom
—The 4D extended Cardiac-Torso (XCAT) phantom was developed to provide a realistic and flexible model of the human anatomy and cardiac and respiratory motions for use in medical ...
Alexander I. Veress, William Paul Segars, Benjamin...
HEURISTICS
2010
13 years 5 months ago
An evolutionary and constructive approach to a crew scheduling problem in underground passenger transport
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...
Rafael Elizondo, Víctor Parada, Lorena Prad...
JUCS
2010
162views more  JUCS 2010»
13 years 5 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...