2656 search results - page 261 / 532 » A general purpose animator |
189
click to vote
JMLR
2010
15 years 5 months ago
2010
A wide variety of machine learning problems can be described as minimizing a regularized risk functional, with different algorithms using different notions of risk and differen...
185
click to vote
PC
2010
15 years 5 months ago
2010
Graph component labelling, which is a subset of the general graph colouring problem, is a computationally expensive operation that is of importance in many applications and simula...
188
click to vote
FIW
2009
15 years 4 months ago
2009
The security of software applications is an important domain, and one that mixes formalisms (e.g. when dealing with cryptography and security protocols) with very ad hoc, low level...
170
click to vote
HCI
2009
15 years 4 months ago
2009
We present the findings of a cognitive walkthrough inspection on three Personal Health Applications (PHAs). Two of the PHAs, Google Health and Microsoft HealthVault, are general pu...
234
click to vote
TSE
2011
15 years 1 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...