11063 search results - page 2059 / 2213 » On the existence of universal models |
191
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Given the large number of Semantic Web Services that can be created from online sources by using existing annotation tools, expressive formalisms and efficient and scalable approac...
207
click to vote
TACAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
202
click to vote
WAOA
2010
Springer
15 years 4 months ago
2010
Springer
The past few years have witnessed a number of interesting online algorithms for deadline scheduling in the dynamic speed scaling model (in which a processor can vary its speed to ...
217
click to vote
CANDC
2009
ACM
15 years 4 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
204
click to vote
ICDM
2009
IEEE
15 years 4 months ago
2009
IEEE
There has been significant recent interest in sparse metric learning (SML) in which we simultaneously learn both a good distance metric and a low-dimensional representation. Unfor...