1280 search results - page 188 / 256 » Soft Typing with Conditional Types |
AUSDM
2007
Springer
14 years 1 months ago
2007
Springer
This paper investigates the use of influence from foreign stock markets (intermarket influence) to predict the trading signals, buy, hold and sell, of the of a given stock market....
PKC
2010
Springer
14 years 1 months ago
2010
Springer
In many practical settings, participants are willing to deviate from the protocol only if they remain undetected. Aumann and Lindell introduced a concept of covert adversaries to f...
APGV
2010
ACM
14 years 1 months ago
2010
ACM
In this paper, we explore the perception of finger motions of virtual characters. In three experiments, designed to investigate finger animations, we asked the following questio...
KDD
2010
ACM
14 years 1 months ago
2010
ACM
Many social networks can be characterized by a sequence of dyadic interactions between individuals. Techniques for analyzing such events are of increasing interest. In this paper,...
SUTC
2010
IEEE
14 years 1 months ago
2010
IEEE
—A primary functionality of wireless sensor networks (WSNs) is transporting the information acquired by the sensors as per the desired application requirements. The diverse appli...