533 search results - page 49 / 107 » Protocol synthesis from timed and structured specifications |
107
click to vote
AIME
2007
Springer
15 years 7 months ago
2007
Springer
With increasing popularity of using ontologies, many industrial and clinical applications have employed ontologies as their conceptual backbone. Ontologies try to capture knowledge...
117
click to vote
AAAI
2010
15 years 1 months ago
2010
Many methods for quantitative structure-activity relationships (QSARs) deliver point estimates only, without quantifying the uncertainty inherent in the prediction. One way to qua...
IJCV
2006
15 years 1 months ago
2006
This paper explores various aspects of the image decomposition problem using modern variational techniques. We aim at splitting an original image f into two components u and v, whe...
120
click to vote
COLING
2010
14 years 8 months ago
2010
This paper investigates the impact of using different temporal algebras for learning temporal relations between events. Specifically, we compare three intervalbased algebras: Alle...
106
click to vote
MOBIHOC
2007
ACM
16 years 28 days ago
2007
ACM
Recently, there has been substantial interest in the design of crosslayer protocols for wireless networks. These protocols optimize certain performance metric(s) of interest (e.g....