2949 search results - page 306 / 590 » Universal Sparse Modeling |
240
Voted
COMPUTING
2011
14 years 8 months ago
2011
Abstract The idea behind Cloud Computing is to deliver Infrastructure-, Platformand Software-as-a-Service (IaaS, PaaS and SaaS) over the Internet on an easy payper-use business mod...
135
Voted
IFIP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
113
click to vote
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
484
Voted
Lecture Notes
Easy and neat set of lecture notes in Medical Image Analysis taught at West Virginia University by Prof. Tim McGraw. It covers several famous computer vision techniques such as act...
102
Voted
WOLLIC
2009
Springer
15 years 7 months ago
2009
Springer
We give a simple intuitionistic completeness proof of Kripke semantics with constant domain for intuitionistic logic with implication and universal quantification. We use a cut-fr...