1301 search results - page 83 / 261 » Specifications via Realizability |
COMCOM
2008
13 years 10 months ago
2008
Wireless technology promises a realization of the long-standing vision of ubiquitous high-speed Internet access. WiFi-based wireless mesh networks that provide user access and wir...
JCP
2008
13 years 10 months ago
2008
Awareness of individual and group activities is critical to successful collaboration and is commonly supported in collaborative graphics design systems (CGDS). Awareness of coopera...
QUESTA
2006
13 years 10 months ago
2006
In this paper we demonstrate how tree-like processes can be used to analyze a general class of priority queues with three service classes, creating a new methodology to study prio...
APAL
1998
13 years 9 months ago
1998
A model is computable if its domain is a computable set and its relations and functions are uniformly computable. Let A be a computable model and let R be an extra relation on the ...
JMLR
2011
13 years 5 months ago
2011
A logistic stick-breaking process (LSBP) is proposed for non-parametric clustering of general spatially- or temporally-dependent data, imposing the belief that proximate data are ...