3680 search results - page 522 / 736 » cases 2010 |
215
click to vote
JDA
2010
15 years 5 months ago
2010
: Hierarchical graphs are graphs with layering structures; clustered graphs are graphs with recursive clustering structures. Both have applications in VLSI design, CASE tools, soft...
164
click to vote
JFP
2010
15 years 5 months ago
2010
The aim of our work is to be able to do fully formal, machine verified proofs over Generic Haskellstyle polytypic programs. In order to achieve this goal, we embed polytypic prog...
168
click to vote
JMLR
2010
15 years 5 months ago
2010
The problem is sequence prediction in the following setting. A sequence x1, . . . , xn, . . . of discrete-valued observations is generated according to some unknown probabilistic ...
166
click to vote
JMS
2010
15 years 5 months ago
2010
The time and spatial constraints of face-to-face learning often affect nursing staff’s inclination to enroll in ladder system training classes. Hence, their competence in clinica...
229
click to vote
JOT
2010
15 years 5 months ago
2010
Nowadays, UML is considered to be the standardized language for object-oriented modeling and analysis. However, UML cannot be used for automatic analyses and simulation. In this pa...