Sciweavers

4622 search results - page 308 / 925
» Foundations of Information Theory
Sort
View
VISUALIZATION
1994
IEEE
15 years 11 months ago
A Lattice Model for Data Display
We will try to address the need for a formal foundation for visualization by taking an analytic approach to defining D. Since an arbitrary function D: U V will not produce display...
William L. Hibbard, Charles R. Dyer, Brian E. Paul
JAPLL
2010
141views more  JAPLL 2010»
15 years 5 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev
BPM
2004
Springer
93views Business» more  BPM 2004»
16 years 7 days ago
On the Semantics of EPCs: A Framework for Resolving the Vicious Circle
: One of the most debatable features of Event driven Process Chains (EPCs) is their non-local semantics. Most non-local semantics for EPCs either have a formal flaw or are given i...
Ekkart Kindler
HICSS
2003
IEEE
167views Biometrics» more  HICSS 2003»
16 years 3 days ago
Discovering Group Interaction Patterns in a Teachers Professional Community
Managers and group leaders of a community may not have enough information to help them direct the community development. In this paper, we adopt social network analysis, graph the...
Fu-ren Lin, Chun-Hung Chen, Kuo-Lung Tsai
LILOG
1989
15 years 11 months ago
Order Sorted Predicate Logic
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...
Arnold Oberschelp