Result 141 to 160 of 166 total
Approaches to layered coding for dual-rate wireless video transmission (English)
ICIP (1), 258-262 (1994).
141
Albert: an agent-oriented language for building and eliciting requirements for real-time systems (English)
HICSS (4), 713-722 (1994).
142
Putting into practice advanced software engineering techniques through students project (English)
CSEE, 303-316 (1994).
143
Animating formal requirements specifications of cooperative information systems (English)
CoopIS, 101-112 (1994).
144
Block adaptive quantization of images. (English)
IEEE Trans. Commun. 41, No.2, 303-306 (1993).
145
Efficient algorithms for fixed-rate entropy-coded vector quantization (English)
Information Theory and Applications, 385-394 (1993).
146
Elicitating and formalising requirements for C.I.M. Information systems (English)
CAiSE, 252-274 (1993).
147
O-O requirements analysis: an agent perspective (English)
ECOOP, 458-481 (1993).
148
Towards a formal agent-oriented requirements definition of manufacturing systems (English)
DIISM, 141-158 (1993).
149
Adaptive mesh refinement for multilayer process simulation using the finite element method. (English)
IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 11, No. 3, 396-403 (1992).
150
Bayesian Estimation of Motion Vector Fields. (English)
IEEE Transactions on Pattern Analysis and Machine Intelligence 14, No.09, 910-927 (1992).
151
Bayesian estimation of motion vector fields (English)
IEEE Trans. Pattern Anal. Mach. Intell. 14, No. 9, 910-927 (1992).
152
Elaborating, structuring and expressing formal requirements of composite systems (English)
CAiSE, 327-347 (1992).
153
Interpolating and Nyquist filters with constraints at certain frequencies. (English)
Signal Process. 24, No.2, 117-126 (1991).
154
A comparison of stochastic and deterministic solution methods in Bayesian estimation of 2-D motion (English)
ECCV, 149-160 (1990).
155
Logical support for reasoning about the specification and the elaboration of requirements (English)
DS-3, 79-98 (1988).
156
Formalising reconstructuring operators in a specification process (English)
ESEC, 161-171 (1987).
157
A data model for requirements analysis (English)
ICDE, 646-653 (1986).
158
The ERAE model: A case study (English)
Information Systems Design Methodologies: Improving the Practice, 87-105 (1986).
159
Une application des nombres de Pisot à l’algorithme de Jacobi-Perron. (French)
Monatsh. Math. 98, 145-156 (1984).
160
Result 141 to 160 of 166 total
Start
Contact
Print
General Help
