Sciweavers

3318 search results - page 231 / 664
» The Weak Instance Model
Sort
View
ICFEM
2004
Springer
15 years 11 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
CVPR
2010
IEEE
15 years 11 months ago
Cascaded L1-norm Minimization Learning (CLML) Classifier for Human Detection
This paper proposes a new learning method, which integrates feature selection with classifier construction for human detection via solving three optimization models. Firstly, the ...
Ran Xu, Baochang Zhang, Qixiang Ye, jian bin Jiao
CP
1998
Springer
15 years 10 months ago
Random Constraint Satisfaction: Theory Meets Practice
Abstract. We study the experimental consequences of a recent theoretical result by Achlioptas et al. that shows that conventional models of random problems are trivially insoluble ...
Ewan MacIntyre, Patrick Prosser, Barbara M. Smith,...
NIPS
2007
15 years 7 months ago
Learning Visual Attributes
We present a probabilistic generative model of visual attributes, together with an efficient learning algorithm. Attributes are visual qualities of objects, such as ‘red’, ...
Vittorio Ferrari, Andrew Zisserman
SOFTVIS
2003
ACM
15 years 11 months ago
Visualizing Model Mappings in UML
Whenever multiple representations or models of a system exist, there is the possibility of defining how they relate. In model driven software development, it is essential that th...
Jan Hendrik Hausmann, Stuart Kent