Sciweavers

2082 search results - page 163 / 417
» Change Paths in Reasoning!
Sort
View
DATAMINE
2002
139views more  DATAMINE 2002»
15 years 3 months ago
Using Site Semantics to Analyze, Visualize, and Support Navigation
To satisfy potential customers of a Web site and to lead them to the goods offered by the site, one should support them in the course of navigation they have embarked on. This pape...
Bettina Berendt
NETWORKS
2002
15 years 3 months ago
Approximation algorithms for constructing wavelength routing networks
Consider a requirement graph whose vertices represent customers and an edge represents the need to route a unit of flow between its end vertices along a single path. All of these ...
Refael Hassin, Asaf Levin
VLDB
2002
ACM
116views Database» more  VLDB 2002»
15 years 3 months ago
Updates for Structure Indexes
The problem of indexing path queries in semistructured/XML databases has received considerable attention recently, and several proposals have advocated the use of structure indexe...
Raghav Kaushik, Philip Bohannon, Jeffrey F. Naught...
TVCG
2012
185views Hardware» more  TVCG 2012»
13 years 6 months ago
Interest Driven Navigation in Visualization
—This paper describes a new method to explore and discover within a large data set. We apply techniques from preference elicitation to automatically identify data elements that a...
Christopher G. Healey, Brent M. Dennis
ICFP
2003
ACM
16 years 3 months ago
An effective theory of type refinements
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
Yitzhak Mandelbaum, David Walker, Robert Harper