3914 search results - page 374 / 783 » Automating SLA modeling |
217
click to vote
ASC
2011
15 years 1 months ago
2011
Machine learning, data mining, and several related research areas are concerned with methods for the automated induction of models and the extraction of interesting patterns from ...
317
click to vote
FROCOS
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
285
click to vote
GIS
2004
ACM
16 years 7 months ago
2004
ACM
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...
152
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we introduce our multi metamodel process ontology (m3po), which is based on various existing reference models and languages from the workflow and choreography domain...
160
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper discusses and evaluates an agent model that is able to manipulate the visual attention of a human, in order to support naval crew. The agent model consists of four subm...