Sciweavers

2962 search results - page 418 / 593
» Reasoning on Association Rules
Sort
View
ENTCS
2007
116views more  ENTCS 2007»
15 years 6 months ago
A Logical Characterisation of Static Equivalence
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
Hans Hüttel, Michael D. Pedersen
KAIS
2006
87views more  KAIS 2006»
15 years 6 months ago
Merging uncertain information with semantic heterogeneity in XML
Semi-structured information in XML can be merged in a logic-based framework [Hun02, Hun02b]. This framework has been extended to deal with uncertainty, in the form of probability ...
Anthony Hunter, Weiru Liu
TGIS
2008
69views more  TGIS 2008»
15 years 6 months ago
Spatial-Scene Similarity Queries
Assessing spatial scenes for similarity is difficult from a cognitive and computational perspective. Solutions to spatial-scene similarity assessments are sensible only if corresp...
Konstantinos A. Nedas, Max J. Egenhofer
JCST
2000
91views more  JCST 2000»
15 years 6 months ago
Multi-Volume CAD Modeling for Heterogeneous Object Design and Fabrication
A review of current computer-aided technologies in design and product development, the evolution of CAD modeling, and a framework of multi-volume CAD modeling system for heterogen...
Wei Sun
ESWA
2010
101views more  ESWA 2010»
15 years 5 months ago
A note on the truck and trailer routing problem
This study considers a relaxation of the truck and trailer routing problem (TTRP), called the relaxed truck and trailer routing problem (RTTRP). In the TTRP, the number of availab...
Shih-Wei Lin, Vincent F. Yu, Shuo-Yan Chou