Sciweavers

12783 search results - page 272 / 2557
» Experimenting with computing
Sort
View
POPL
2001
ACM
16 years 6 months ago
Nomadic pict: correct communication infrastructure for mobile computation
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...
Asis Unyapoth, Peter Sewell
SEUS
2009
IEEE
16 years 1 months ago
Using Context Awareness to Improve Quality of Information Retrieval in Pervasive Computing
Publish-subscribe-query information broker middleware offers great promise to users of pervasive computing systems requiring access to information. However, users of publish-subscr...
Joseph P. Loyall, Richard E. Schantz
ICDM
2009
IEEE
109views Data Mining» more  ICDM 2009»
16 years 1 months ago
Finding Associations and Computing Similarity via Biased Pair Sampling
Sampling-based methods have previously been proposed for the problem of finding interesting associations in data, even for low-support items. While these methods do not guarantee ...
Andrea Campagna, Rasmus Pagh
ICIP
2007
IEEE
16 years 26 days ago
Automated Solder Inspection Method by Means of X-ray Oblique Computed Tomography
High-density LSI packages such as ball grid array (BGA) are being utilised in the car electronics and communications infrastructure products. These products require a high-speed a...
Atsushi Teramoto, Takayuki Murakoshi, Masatoshi Ts...
SARA
2007
Springer
16 years 19 days ago
Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning
Abstract. We describe a way to improve the performance of MDP planners by modifying them to use lower and upper bounds to eliminate non-optimal actions during their search. First, ...
Ugur Kuter, Jiaqiao Hu