4353 search results - page 699 / 871 » Expressiveness of Process Algebras |
121
click to vote
PKDD
2009
Springer
15 years 12 months ago
2009
Springer
Subgroup discovery is a local pattern discovery task, in which descriptions of subpopulations of a database are evaluated against some quality function. As standard quality functio...
126
click to vote
ROBOCUP
2009
Springer
15 years 12 months ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
139
click to vote
CANDC
2009
ACM
15 years 12 months ago
2009
ACM
This paper describes six creativity support tools we developed to foster community engagement and expression with robotics and sensing, assessing the benefits and shortcomings of ...
149
click to vote
HYBRID
2010
Springer
15 years 12 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
221
click to vote
BDIM
2008
IEEE
15 years 12 months ago
2008
IEEE
—Knowing the dependencies among computing assets and services provides insights into the computing and business landscape, therefore, facilitating low-risk timely changes in supp...