846 search results - page 37 / 170 » The Use of Z |
ECIS
2000
13 years 9 months ago
2000
This paper proposes the use of advanced knowledge models to support real time decision for management problems as an adequate response to the current needs and technology. The new ...
JOCN
2010
13 years 2 months ago
2010
The fluency and the reliability of speech production suggest a mechanism that links motor commands and sensory feedback. Here, we examined the neural organization supporting such ...
ACL
2012
11 years 10 months ago
2012
In this paper, we present a new method for learning to finding translations and transliterations on the Web for a given term. The approach involves using a small set of terms and ...
APSEC
2000
IEEE
14 years 7 days ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...