2010 search results - page 112 / 402 » An analysis of research in computing disciplines |
179
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
172
click to vote
DMIN
2008
15 years 7 months ago
2008
Abstract - The rapid advances of wireless and web technologies enable the mobile users to request various kinds of services via mobile devices at anytime and anywhere. To provide t...
141
click to vote
NBIS
2009
Springer
15 years 11 months ago
2009
Springer
act— Web alerts are user-defined monitor conditions for public Internet information in which notification messages are sent to users whenever their alert conditions are met. The ...
206
click to vote
JMM2
2007
15 years 6 months ago
2007
— Accurate and robust image motion detection has been of substantial interest in the image processing and computer vision communities. Unfortunately, no single motion detection a...
138
click to vote
OR
2002
Springer
15 years 6 months ago
2002
Springer
We examine a decision-theoretic Bayesian framework for the estimation of Sharpe Style portfolio weights of the MSCI sector returns. Following van Dijk and Kloek (1980) an appropri...