488 search results - page 78 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
117
click to vote
ICWS
2010
IEEE
15 years 15 days ago
2010
IEEE
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
IIS
2000
15 years 12 days ago
2000
Machine learning methods are frequently used to create rule-based classifiers. For continuous features linguistic variables used in conditions of the rules are defined by membershi...
101
click to vote
HRI
2007
ACM
15 years 2 months ago
2007
ACM
Intelligent planning algorithms such as the Partially Observable Markov Decision Process (POMDP) have succeeded in dialog management applications [10, 11, 12] because of their rob...
103
click to vote
EUROCRYPT
2004
Springer
15 years 4 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
97
Voted
FGR
2008
IEEE
15 years 25 days ago
2008
IEEE
The phenomenal growth of video on the web and the increasing sparseness of meta information associated with it forces us to look for signals from the video content for search/info...