Sciweavers

3634 search results - page 649 / 727
» The Field Representation Language
Sort
View
130
Voted
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 8 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
123
Voted
ISMIS
2003
Springer
15 years 8 months ago
A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
Christel Kemke
CA
2002
IEEE
15 years 8 months ago
Specifying MPEG-4 Body Behaviors
The MPEG-4 standard specifies a set of low-level animation parameters for body animation, but does not provide any high-level functionality for the control of avatars or embodied...
Anthony Guye-Vuillème, Daniel Thalmann
HICSS
2002
IEEE
166views Biometrics» more  HICSS 2002»
15 years 8 months ago
Developing Legible Visualizations for Online Social Spaces
Although constructed for researchers to share news and information, Usenet quickly developed into a social environment with varied styles of interactions. Unfortunately, the brows...
Danah Boyd, Hyun-Yeul Lee, Daniel Ramage, Judith S...
132
Voted
IEEEPACT
2002
IEEE
15 years 8 months ago
Eliminating Exception Constraints of Java Programs for IA-64
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...
Kazuaki Ishizaki, Tatsushi Inagaki, Hideaki Komats...