18429 search results - page 267 / 3686 » Typing dynamic typing |
141
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
An observational study was conducted on a professional designer working on a design project in aerospace industry. The protocol data were analyzed in order to gain insight into the...
169
click to vote
ENGL
2006
15 years 6 months ago
2006
We describe in this paper the use of neural networks, fuzzy logic and genetic algorithms for voice recognition. In particular, we consider the case of speaker recognition by analyz...
148
click to vote
IPM
2006
15 years 6 months ago
2006
Structured document retrieval makes use of document components as the basis of the retrieval process, rather than complete documents. The inherent relationships between these comp...
148
click to vote
ENTCS
2007
15 years 6 months ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
182
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we report on our first experiences using the relational analysis provided by the Alloy tool with the theorem prover KIV in the context of specifications of ...