Sciweavers

738 search results - page 8 / 148
» Semantic parameterization: A process for modeling domain des...
Sort
View
MICCAI
2008
Springer
14 years 8 months ago
Conformal Slit Mapping and Its Applications to Brain Surface Parameterization
We propose a method that computes a conformal mapping from a multiply connected mesh to the so-called slit domain, which consists of a canonical rectangle or disk in which 3D curve...
Yalin Wang, Xianfeng Gu, Tony F. Chan, Paul M. ...
DAGSTUHL
2003
13 years 8 months ago
Operational Semantics of Security Protocols
Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e...
Cas J. F. Cremers, Sjouke Mauw
ISBI
2008
IEEE
14 years 8 months ago
Brain surface conformal parameterization with the slit mapping
Brain surface conformal mapping has been studied intensively. In this paper, we propose a method that computes a conformal mapping from a multiply connected mesh to the so-called ...
Yalin Wang, Xianfeng Gu, Tony F. Chan, Paul M. Tho...
AAAI
2006
13 years 8 months ago
Using Semantics to Identify Web Objects
Many common web tasks can be automated by algorithms that are able to identify web objects relevant to the user's needs. This paper presents a novel approach to web object id...
Nathanael Chambers, James F. Allen, Lucian Galescu...
IUI
2009
ACM
14 years 4 months ago
Positive effects of redundant descriptions in an interactive semantic speech interface
Spoken language interfaces based on interactive semantic language models [16, 14] allow probabilities for hypothesized words to be conditioned on the semantic interpretation of th...
Lane Schwartz, Luan Nguyen, Andrew Exley, William ...