16218 search results - page 419 / 3244 » Standards |
177
click to vote
IJCNLP
2005
Springer
16 years 17 days ago
2005
Springer
Recent “visual worlds” studies, wherein researchers study language in context by monitoring eye-movements in a visual scene during sentence processing, have revealed much about...
189
click to vote
LPAR
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
183
click to vote
PCI
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we present the rationale and the baseline of a notation which can be used on its own or as an extension to standard UML to facilitate specification of an interactive...
155
click to vote
RT
2005
Springer
16 years 17 days ago
2005
Springer
This paper develops importance resampling into a variance reduction technique for Monte Carlo integration. Importance resampling is a sample generation technique that can be used ...
169
click to vote
SPIN
2005
Springer
16 years 16 days ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...