Result 1 to 13 from 13 total
Gyrolock - first in vivo experiments of active heart stabilization using control moment gyro (CMG) (English)
ICRA, 404-410 (2011).
1
Using semantic similarity to predict angle and distance of objects in images (English)
Creativity & Cognition, 217-222 (2011).
2
Auditory, visual and audiovisual clear speech. (English)
Speech Communication 37, No.3-4, 213-230 (2002).
3
Auditory, visual and audiovisual clear speech (English)
Speech Communication 37, No. 3-4, 213-230 (2002).
4
Indexical translation of tail-recursive functions. (English)
Gergatsoulis, Manolis (ed.) et al., Intensional programming II. Papers from the 12th international symposium on languages for intensional programming (ISLIP’99), Athens, Greece, June 28-30, 1999. Singapore: World Scientific. 296-309 (2000).
5
Demand-driven real-time computing. (English)
Gergatsoulis, Manolis (ed.) et al., Intensional programming II. Papers from the 12th international symposium on languages for intensional programming (ISLIP’99), Athens, Greece, June 28-30, 1999. Singapore: World Scientific. 168-181 (2000).
6
The non-standard semantics of esterel (English)
ASIAN, 381-382 (1997).
7
A non-standard temporal deductive database system. (English)
J. Symb. Comput. 22, No.5-6, 649-664 (1996).
8
A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems. (English)
IEEE Transactions on Software Engineering 17, No.07, 669-677 (1991).
9
A pre-run-time scheduling algorithm for hard real-time systems (English)
IEEE Trans. Software Eng. 17, No. 7, 669-677 (1991).
10
A model of the F-18 mission computer software for pre-run-time scheduling (English)
ICDCS, 62-69 (1990).
11
Formal models of stepwise refinement of programs. (English)
ACM Comput. Surv. 18, No. 3, 231-276 (1986).
12
Strongest invariant functions: Their use in the systematic analysis of while statements. (English)
Acta Inf. 22, 47-66 (1985).
13
Result 1 to 13 from 13 total
Start
Contact
Print
General Help
