Sciweavers

1223 search results - page 82 / 245
» Semantic Visualization and Meaning Computation
Sort
View
104
Voted
CORR
2002
Springer
87views Education» more  CORR 2002»
15 years 3 months ago
Ultimate approximations in nonmonotonic knowledge representation systems
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczyn...
130
Voted
CHI
2011
ACM
14 years 7 months ago
Data cracker: developing a visual game analytic tool for analyzing online gameplay
Game analytics is a domain that focuses on the systems and methods used to analyze game-related data. In this paper we present how a visual game analytic tool can be developed to ...
Ben Medler, Michael John, Jeff Lane
109
Voted
IMAGING
2004
15 years 5 months ago
Mathematical Discontinuities in CIEDE2000 Color Difference Computations
We examine mathematical properties of the CIEDE2000 color difference formula and illustrate that the CIEDE2000 color difference is not a continuous function of the CIELAB color pa...
Gaurav Sharma, Wencheng Wu, Edul N. Dalal, Mehmet ...
120
Voted
ICS
2005
Tsinghua U.
15 years 9 months ago
Improving the computational intensity of unstructured mesh applications
Although unstructured mesh algorithms are a popular means of solving problems across a broad range of disciplines—from texture mapping to computational fluid dynamics—they ar...
Brian S. White, Sally A. McKee, Bronis R. de Supin...
128
Voted
JCS
2010
112views more  JCS 2010»
15 years 2 months ago
Inductive trace properties for computational security
Protocol authentication properties are generally trace-based, meaning that authentication holds for the protocol if authentication holds for individual traces (runs of the protoco...
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitch...