Sciweavers

2765 search results - page 153 / 553
» Works and representation
Sort
View
200
Voted
ISMIS
1993
Springer
15 years 11 months ago
Compiling Proof Search in Semantic Tableaux
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
Joachim Posegga
VISUALIZATION
1999
IEEE
15 years 11 months ago
Feature Comparisons of 3-D Vector Fields Using Earth Mover's Distance
ct A method for comparing three-dimensional vector fields constructed from simple critical points is described. This method is a natural extension of the previous work [1] which de...
Rajesh Batra, Lambertus Hesselink
CI
2004
80views more  CI 2004»
15 years 6 months ago
A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning
In recent years, there has been a large amount of disparate work concerning the representation and reasoning with qualitative preferential information by means of approaches to no...
James P. Delgrande, Torsten Schaub, Hans Tompits, ...
151
Voted
CHI
2009
ACM
16 years 7 months ago
Understanding how and why open source contributors use diagrams in the development of Ubuntu
Some of the most interesting differences between Open Source Software (OSS) development and commercial colocated software development lie in the communication and collaboration pr...
Koji Yatani, Eunyoung Chung, Carlos Jensen, Khai N...
HPDC
2007
IEEE
16 years 1 months ago
Precise and realistic utility functions for user-centric performance analysis of schedulers
Utility functions can be used to represent the value users attach to job completion as a function of turnaround time. Most previous scheduling research used simple synthetic repre...
Cynthia Bailey Lee, Allan Snavely