Sciweavers

1746 search results - page 205 / 350
» On the expressiveness of interaction
Sort
View
MICCAI
2006
Springer
16 years 7 months ago
Adaptive Script Based Animations for Intervention Planning
We describe scripting facilities to create medical animations for intervention planning based on medical volume data and derived segmentation information. A data independent script...
Konrad Mühler, Ragnar Bade, Bernhard Preim
ICML
2000
IEEE
16 years 7 months ago
Learning Subjective Functions with Large Margins
In manyoptimization and decision problems the objective function can be expressed as a linear combinationof competingcriteria, the weights of whichspecify the relative importanceo...
Claude-Nicolas Fiechter, Seth Rogers
WWW
2004
ACM
16 years 7 months ago
Semantical Descriptions of Models for Web Design
The use of semantic web languages brings a number of advantages for web engineering methodologies. In this paper we present how in the Hera methodology the design models benefit f...
Peter Barna, Geert-Jan Houben, Flavius Frasincar, ...
PODS
2006
ACM
122views Database» more  PODS 2006»
16 years 6 months ago
Verification of communicating data-driven web services
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
TACAS
2009
Springer
207views Algorithms» more  TACAS 2009»
16 years 1 months ago
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
Abstract. Role-Based Access Control (RBAC) has been widely used for expressing access control policies. Administrative Role-Based Access Control (ARBAC) specifies how an RBAC poli...
Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yin...