Sciweavers

6431 search results - page 264 / 1287
» Model Building by Resolution
Sort
View
MPC
1998
Springer
140views Mathematics» more  MPC 1998»
15 years 10 months ago
A Set-Theoretic Model for Real-Time Specification and Reasoning
Timed-trace formalisms have emerged as a powerful method for specifying and reasoning about concurrent real-time systems. We present a simple variant which builds methodically on s...
Colin J. Fidge, Ian J. Hayes, A. P. Martin, Axel W...
RE
2008
Springer
15 years 6 months ago
Extracting and Modeling Product Line Functional Requirements
We introduce an extractive approach to building a product line's requirements assets. We define the functional requirements profiles (FRPs) according to the linguistic charac...
Nan Niu, Steve M. Easterbrook
IMCSIT
2010
15 years 1 months ago
Constructive Volume Modeling
In this article we intend to present a method of obtaining high complexity sinthetic scenes by using simple volumes as the building blocks. The below described method can be used t...
Mihai Tudorache, Mihai Popescu, Razvan Tanasie
ICIP
2008
IEEE
16 years 8 months ago
Learning structurally discriminant features in 3D faces
In this paper, we derive a data mining framework to analyze 3D features on human faces. The framework leverages kernel density estimators, genetic algorithm and an information com...
Sreenivas R. Sukumar, Hamparsum Bozdogan, David L....
ICIP
2009
IEEE
16 years 7 months ago
Bi-directional Scalable Motion For Scalable Video Coding
Motion information scalability is an important requirement for a fully scalable video codec, especially in low bit rate or small resolution decoding scenarios, for which the fully...