3914 search results - page 575 / 783 » Automating SLA modeling |
173
click to vote
ILP
2007
Springer
16 years 13 days ago
2007
Springer
Bias/variance analysis is a useful tool for investigating the performance of machine learning algorithms. Conventional analysis decomposes loss into errors due to aspects of the le...
146
click to vote
LPAR
2007
Springer
16 years 12 days ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
170
click to vote
LPNMR
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
154
click to vote
WER
2007
Springer
16 years 11 days ago
2007
Springer
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case mo...
182
click to vote
3DPVT
2006
IEEE
16 years 10 days ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...