Sciweavers

848 search results - page 67 / 170
» A New Framework For Itemset Generation
Sort
View
MOVEP
2000
118views Hardware» more  MOVEP 2000»
14 years 10 days ago
Mobile Processes: A Commented Bibliography
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
Silvano Dal-Zilio
NIPS
2008
13 years 10 months ago
Learning Hybrid Models for Image Annotation with Partially Labeled Data
Extensive labeled data for image annotation systems, which learn to assign class labels to image regions, is difficult to obtain. We explore a hybrid model framework for utilizing...
Xuming He, Richard S. Zemel
GI
2008
Springer
13 years 9 months ago
Semi-Automatic Ontology Engineering in Business Applications
: Search technology can be applied to many applications and is in the heart of always growing information society. A promising new development is the use of ontologies to enable se...
Felix Burkhardt, Jon Atle Gulla, Jin Liu, Christia...
GRC
2008
IEEE
13 years 9 months ago
Granulation Operators on a Knowledge Base
Knowledge in knowledge bases have two categories: complete and incomplete. In this paper, through uniformly expressing these two kinds of knowledge, we first address four operator...
Yuhua Qian, Jiye Liang, Wei Wei
APAL
2005
90views more  APAL 2005»
13 years 8 months ago
Explicit mathematics: power types and overloading
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
Thomas Studer