1938 search results - page 19 / 388 » On Positive Relational Calculi |
EUROSSC
2008
Springer
13 years 9 months ago
2008
Springer
Augmented tabletop games support players by sensing the context of game figures (i.e., position and/or orientation) and then using this information to display additional game infor...
IDA
2005
Springer
14 years 1 months ago
2005
Springer
We consider the problem of learning a ranking function, that is a mapping from instances to rankings over a finite number of labels. Our learning method, referred to as ranking by...
NA
2007
13 years 7 months ago
2007
In 2000, Reimer proved that a positive weight quadrature rule on the unit sphere Sd ⊂ Rd+1 has the property of quadrature regularity. Hesse and Sloan used a related property, ca...
JDCTA
2010
13 years 2 months ago
2010
Routing protocol is a pivotal issue in Mobile Ad Hoc Networks (MANETs). Several routing protocols have been proposed to deal with the routing issue in MANETs. However, routing tur...
ICFP
1997
ACM
13 years 11 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...