Sciweavers

11462 search results - page 331 / 2293
» Developing Application-Centric Methods
Sort
View
ECAI
2004
Springer
15 years 10 months ago
Temporal Plan Interdependencies
Abstract. Asbru is a complex formal language developed to represent clinical guidelines and protocols which are time- and processoriented. To facilitate and support the modeling in...
Katharina Kaiser, Silvia Miksch
SCALESPACE
1999
Springer
15 years 9 months ago
A Geometric Functional for Derivatives Approximation
We develop on estimation method, for the derivative field of an image based on Bayesian approach which is formulated in a geometric way. The Maximum probability configuration of ...
Nir A. Sochen, Robert M. Haralick, Yehoshua Y. Zee...
DBSEC
2010
137views Database» more  DBSEC 2010»
15 years 6 months ago
Constructing Key Assignment Schemes from Chain Partitions
Abstract. In considering a problem in access control for scalable multimedia formats, we have developed new methods for constructing a key assignment scheme. Our first contribution...
Jason Crampton, Rosli Daud, Keith M. Martin
IWFM
1998
113views Formal Methods» more  IWFM 1998»
15 years 6 months ago
A Use Case Interpretation of B AMN
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
Richard Shore
PRESENCE
2006
79views more  PRESENCE 2006»
15 years 4 months ago
Web-Based Historical City Walks: Advances and Bottlenecks
This paper deals with a set of useful methods for presenting large-scale models of real cities in a web environment. While acquisition issues are outlined only briefly, this study...
Jiri Zara