Sciweavers

4961 search results - page 965 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
CONEXT
2009
ACM
15 years 3 months ago
Exploiting dynamicity in graph-based traffic analysis: techniques and applications
Network traffic can be represented by a Traffic Dispersion Graph (TDG) that contains an edge between two nodes that send a particular type of traffic (e.g., DNS) to one another. T...
Marios Iliofotou, Michalis Faloutsos, Michael Mitz...
163
Voted

Publication
323views
15 years 3 months ago
Reconstruction of snow and ice surfaces using multiple view  vision techniques
In this paper we describe a vision system for reconstructing the relative structure of snow and ice surfaces. This effort is one step toward the long-term goal of rendering absol...
GOWRI SOMANATH , ROHITH MV , CATHLEEN A. GEIGER ...
ICFP
2010
ACM
15 years 3 months ago
Logical types for untyped languages
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
Sam Tobin-Hochstadt, Matthias Felleisen
ACS
2007
15 years 2 months ago
Patch-generated Frames and Projectable Hulls
This article considers coherent frame homomorphisms h : L −→ M between coherent frames, which induce an isomorphism between the boolen frames of polars, with M projectable, and...
Anthony W. Hager, Jorge Martínez
AO
2007
119views more  AO 2007»
15 years 2 months ago
The model of roles within an ontology development tool: Hozo
One of the major goals of ontology is to represent properly the underlying conceptual structure of the messy world reflecting the reality as much as possible. Ontology building to...
Riichiro Mizoguchi, Eiichi Sunagawa, Kouji Kozaki,...