Sciweavers

688 search results - page 20 / 138
» The Flow Set with Partial Order
Sort
View
APAL
2004
111views more  APAL 2004»
13 years 6 months ago
Concept lattices and order in fuzzy logic
The theory of concept lattices (i.e. hierarchical structures of concepts in the sense of Port-Royal school) is approached from the point of view of fuzzy logic. The notions of par...
Radim Belohlávek
AAAI
2006
13 years 8 months ago
Fast SAT-based Answer Set Solver
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
Zhijun Lin, Yuanlin Zhang, Hector Hernandez
CNSR
2004
IEEE
131views Communications» more  CNSR 2004»
13 years 10 months ago
Fast Flow Classification over Internet
In order to control and manage highly aggregated Internet traffic flows efficiently, we need to be able to categorize flows into distinct classes and to be knowledgeable about the...
A. Oveissian, Kavé Salamatian, Augustin Sou...
ACMMPC
2000
Springer
231views Mathematics» more  ACMMPC 2000»
13 years 11 months ago
Galois Connections and Fixed Point Calculus
Fixed point calculus is about the solution of recursive equations de˛ned by a monotonic endofunction on a partially ordered set. This tutorial presents the basic theory of ˛xed ...
Roland Carl Backhouse
VIS
2008
IEEE
233views Visualization» more  VIS 2008»
14 years 8 months ago
Smoke Surfaces: An Interactive Flow Visualization Technique Inspired by Real-World Flow Experiments
Smoke rendering is a standard technique for flow visualization. Most approaches are based on a volumetric, particle based, or image based representation of the smoke. This paper in...
Wolfram von Funck, Tino Weinkauf, Holger Theisel...