Sciweavers

1108 search results - page 158 / 222
» Making sense of sensemaking
Sort
View
JFP
2008
135views more  JFP 2008»
13 years 10 months ago
Hoare type theory, polymorphism and separation
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
Aleksandar Nanevski, J. Gregory Morrisett, Lars Bi...
CORR
2007
Springer
120views Education» more  CORR 2007»
13 years 10 months ago
Distributed Fair Scheduling Using Variable Transmission Lengths in Carrier-Sensing-based Wireless Networks
— The fairness of IEEE 802.11 wireless networks (including Wireless LAN and Ad-hoc networks) is hard to predict and control because of the randomness and complexity of the MAC co...
Libin Jiang, Jean C. Walrand
JMLR
2008
131views more  JMLR 2008»
13 years 10 months ago
On Relevant Dimensions in Kernel Feature Spaces
We show that the relevant information of a supervised learning problem is contained up to negligible error in a finite number of leading kernel PCA components if the kernel matche...
Mikio L. Braun, Joachim M. Buhmann, Klaus-Robert M...
DB
2007
362views more  DB 2007»
13 years 10 months ago
Marketing strategies in virtual worlds
More and more businesses are selling products and providing services through multiple channels. 3D virtual worlds are emerging to be one of the channels for companies to communica...
Tsz-Wai Lui, Gabriele Piccoli, Blake Ives
ECRA
2007
139views more  ECRA 2007»
13 years 10 months ago
Common structure and properties of filtering systems
Recommendation systems have been studied actively since the 1990s. Generally, recommendation systems choose one or more candidates from a set of candidates through a filtering pro...
Junichi Iijima, Sho Ho