279 search results - page 53 / 56 » Typability in Partial Applicative Structures |
CC
2001
Springer
13 years 11 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
IJCNN
2000
IEEE
13 years 11 months ago
2000
IEEE
The field of human-computer interaction has been widely investigated in the last years, resulting in a variety of systems used in different application fields like virtual reality...
ICCV
1995
IEEE
13 years 11 months ago
1995
IEEE
Computational vision algorithms are often developed in a Bayesian framework. Two estimators are commonly used: maximum a posteriori (MAP), and minimum mean squared error (MMSE). W...
GLOBECOM
2009
IEEE
13 years 10 months ago
2009
IEEE
In this paper, we are concerned with cross-talk interference from the transmit to the receive antenna of a wireless channel-reuse-relay-station (CRRS) that forwards signals over t...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute an expressive framework for multiagent planning under uncertainty, but solving them is provabl...