9698 search results - page 153 / 1940 » models 2010 |
159
click to vote
JMLR
2010
15 years 1 months ago
2010
We propose a non-linear graphical model for structured prediction. It combines the power of deep neural networks to extract high level features with the graphical framework of Mar...
128
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We develop a probabilistic framework for global modeling of the traffic over a computer network. The model integrates existing single
171
click to vote
ENTCS
2007
15 years 6 months ago
2007
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
145
click to vote
ENTCS
2006
15 years 6 months ago
2006
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
181
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...