Sciweavers

3229 search results - page 201 / 646
» Theories with the Independence Property
Sort
View
CONEXT
2007
ACM
15 years 10 months ago
A cross-layer load-independent link cost metric for wireless mesh networks
We present Cross-layer Unicast Transmission Time (X-UTT), a MAC-aware load-independent link cost metric for 802.11based wireless mesh networks. X-UTT utilizes information acquired...
Marianna Carrera, Henrik Lundgren, Theodoros Salon...
CIKM
2006
Springer
15 years 10 months ago
Matching directories and OWL ontologies with AROMA
This paper presents a simple and adaptable matching method dealing with web directories, catalogs and OWL ontologies. By using a well-known Knowledge Discovery in Databases model,...
Jérôme David, Fabrice Guillet, Henri ...
HCI
2007
15 years 8 months ago
Emotional Experiences and Quality Perceptions of Interactive Products
Over the past few years, various novel approaches have been applied to the evaluation of interactive systems. Particularly, the importance of two categories of concepts has been em...
Sascha Mahlke, Gitte Lindgaard
DM
2007
84views more  DM 2007»
15 years 6 months ago
Matroids on convex geometries (cg-matroids)
We consider matroidal structures on convex geometries, which we call cg-matroids. The concept of a cg-matroid is closely related to but different from that of a supermatroid intro...
Satoru Fujishige, Gleb A. Koshevoy, Yoshio Sano
ENTCS
2007
82views more  ENTCS 2007»
15 years 6 months ago
Syntactic Logical Relations for Polymorphic and Recursive Types
The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisfied by all terms of a type. The method is widely used in ...
Karl Crary, Robert Harper