Result 21 to 26 from 26 total
Software product line evolution method based on {\it kaizen} approach (English)
SAC, 1207-1214 (2007).
21
CEGAR based bounded model checking of discrete time hybrid systems (English)
HSCC, 399-412 (2007).
22
A randomized, placebo-controlled study of the efficacy of cognitive intervention on elderly people and on patient’s with alzheimer’s disease (English)
ICCHP, 759-765 (2006).
23
Elderly users in ambient intelligence: does an avatar improve the interaction? (English)
Universal Access in Ambient Intelligence Environments, 99-114 (2006).
24
Uniform eigenvalue estimates for time-frequency localization operators. (English)
J. Lond. Math. Soc., II. Ser. 65, No. 3, 720-732 (2002).
25
Generalized Eulerian numbers and the topology of the Hessenberg variety of a matrix. (English)
Acta Appl. Math. 12, No.3, 213-235 (1988).
26
Result 21 to 26 from 26 total
Start
Contact
Print
General Help
