Sciweavers

1998 search results - page 222 / 400
» Basic Association Rules
Sort
View
ICON
2007
IEEE
15 years 10 months ago
Definition and Implementation of Logical Function Blocks Compliant to ForCES Specification
—IETF ForCES (Forwarding and Control Element Separation) is defining specifications for interfaces and modular resources abstractions in open programmable network equipments. Acc...
Ligang Dong, Fenggen Jia, Weiming Wang
FSEN
2007
Springer
15 years 10 months ago
Logical Bisimulations and Functional Languages
Developing a theory of bisimulation in higher-order languages can be hard. Particularly challenging can be the proof of congruence and, related to this, enhancements of the bisimul...
Davide Sangiorgi, Naoki Kobayashi, Eijiro Sumii
ICALP
2007
Springer
15 years 10 months ago
Modular Algorithms for Heterogeneous Modal Logics
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
Lutz Schröder, Dirk Pattinson
ICMCS
2006
IEEE
143views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Virtual Dental Patient: a System for Virtual Teeth Drilling
This paper introduces, a virtual teeth drilling system named Virtual Dental Patient designed to aid dentists in getting acquainted with the teeth anatomy, the handling of drilling...
Ioannis Marras, Leontios Papaleontiou, Nikolaos Ni...
ICMCS
2006
IEEE
139views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Automatic Semantic Annotation of Images using Spatial Hidden Markov Model
This paper presents a new spatial-HMM(SHMM)for automatically classifying and annotating natural images. Our model is a 2D generalization of the traditional HMM in the sense that b...
Feiyang Yu, Horace Ho-Shing Ip