Sciweavers

687 search results - page 68 / 138
» On The Complexity of Manipulating Elections
Sort
View
TOOLS
2000
IEEE
14 years 12 days ago
Spatiotemporal Data Modeling and Management: A Survey
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
Xiaoyu Wang, Xiaofang Zhou, Sanglu Lu
VRST
1999
ACM
14 years 9 days ago
Direct 3D interaction with smart objects
Performing 3D interactions with virtual objects easily becomes a complex task, limiting the implementation of larger applications. In order to overcome some of these limitations, ...
Marcelo Kallmann, Daniel Thalmann
TABLEAUX
1999
Springer
14 years 8 days ago
A Tableau Calculus for Pronoun Resolution
Appeared in: N.V. Murray, editor, Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99), Lecture Notes in Artificial Intelligence 1617, Springer, pages 2...
Christof Monz, Maarten de Rijke
WIFT
1998
IEEE
153views Hardware» more  WIFT 1998»
14 years 8 days ago
Reasoning with UML Class Diagrams
The Unified Modeling Language (UML) is likely to become an important industry standard language for modelling object-oriented systems. However, its use as a precise analysis tool ...
Andy S. Evans
IDEAS
1997
IEEE
107views Database» more  IDEAS 1997»
14 years 6 days ago
Query Processing in the ROL system
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
Mengchi Liu, Weidong Yu