8828 search results - page 1488 / 1766 » Formal methods in practice |
160
click to vote
HUC
2005
Springer
16 years 8 days ago
2005
Springer
Using ethnographic methods, 28 young professionals across the global cities of London, Los Angeles, and Tokyo were studied to understand in some detail what items they carried with...
173
Voted
ICLP
2005
Springer
16 years 7 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
191
click to vote
IFIP
2005
Springer
16 years 7 days ago
2005
Springer
A new quasi-Newton scheme for updating a low rank positive semi-definite Hessian approximation is described, primarily for use in sequential quadratic programming methods for non...
192
click to vote
IJCNLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present a new implication of Wu’s (1997) Inversion Transduction Grammar (ITG) Hypothesis, on the problem of retrieving truly parallel sentence translations from larg...
158
click to vote
LSSC
2005
Springer
16 years 7 days ago
2005
Springer
A new parallel algorithm for signal processing and a parallel systolic architecture of a robust constant false alarm rate (CFAR) processor with post-detection integration and adap...