Sciweavers

166 search results - page 1 / 34
» Functors Determined by Values on Objects
Sort
View
ENTCS
2006
100views more  ENTCS 2006»
13 years 4 months ago
Functors Determined by Values on Objects
Functors which are determined, up to natural isomorphism, by their values on objects, are called DVO (Defined by Values on Objects). We focus on the collection of polynomial funct...
Daniela Cancila, Furio Honsell, Marina Lenisa
IFIPTCS
2010
13 years 2 months ago
Convexity, Duality and Effects
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...
Bart Jacobs
EUROSSC
2007
Springer
13 years 10 months ago
Behavior Detection Based on Touched Objects with Dynamic Threshold Determination Model
We are developing a context-aware application for use in homes, which detects high-level user behavior, such as “leaving the home” and “going to bed”, and provides services...
Hiroyuki Yamahara, Hideyuki Takada, Hiromitsu Shim...
CTCS
1989
Springer
13 years 8 months ago
Quantitative Domains, Groupoids and Linear Logic
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
Paul Taylor 0002
MAGS
2010
92views more  MAGS 2010»
12 years 11 months ago
Sequential auctions for common value objects with budget constrained bidders
This paper analyzes sequential auctions for budget constrained bidders, for multiple heterogeneous common value objects. In most auctions, bidders not only have valuations for obj...
S. Shaheen Fatima, Michael Wooldridge, Nicholas R....