6650 search results - page 88 / 1330 » models 2009 |
162
click to vote
LPNMR
2009
Springer
16 years 28 days ago
2009
Springer
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
125
click to vote
ICML
2009
IEEE
16 years 7 months ago
2009
IEEE
We present a novel approach for learning nonlinear dynamic models, which leads to a new set of tools capable of solving problems that are otherwise difficult. We provide theory sh...
149
click to vote
CCA
2009
Springer
16 years 29 days ago
2009
Springer
We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x ≥ 0. The oracle machines can also check whethe...
214
click to vote
AMW
2009
15 years 7 months ago
2009
This paper presents an abstract data model for visualizing RDF data based on the notion of nested graphs. Our study gives theoretical results that shows directions to enhance the r...
145
click to vote
ICDCN
2009
Springer
16 years 1 months ago
2009
Springer
We develop an analytical model of information dissemination for a gossip protocol. With this model we analyse how fast an item is replicated through a network. We also determine th...