Result 1 to 20 of 33 total
A self-profiling image noise and edge enhancement filter (English)
Digital Photography, 753706 (2010).
1
Unconventional fabrics, architectures, and models for future multi-core systems (English)
CODES+ISSS, 327-328 (2010).
2
A comparison between two collocations methods for linear polylocal problems ‒ a computer algebra based approach. (English)
Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the first international conference, Sibiu, Romania, October 22‒25, 2009. Sibiu: “Lucian Blaga" University Press. 164-173 (2009).
3
Testing state design pattern implementations with symbolic execution. (English)
Bul. Ştiinţ., Univ. Piteşti, Ser. Mat. Inf. 15, 73-80 (2009).
4
Multilingual versus monolingual word sense disambiguation. (English)
Int. J. Speech Technol. 12, No. 2-3, 113-124 (2009).
5
Detecting hazardous gases in emergency disaster scenarios using wearable sensors (English)
ERCIM News 2009, No. 76 (2009).
6
A model checking language for concurrent value-passing systems. (English)
Cuellar, Jorge (ed.) et al., FM 2008: Formal methods. 15th international symposium on formal methods, Turku, Finland, May 26‒30, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68235-6/pbk). Lecture Notes in Computer Science 5014, 148-164 (2008).
7
Variation-aware application scheduling and power management for chip multiprocessors (English)
ISCA, 363-374 (2008).
8
Gauss-lobatto-kronrod formulae and adaptive numerical integration (English)
SYNASC, 183-186 (2008).
9
A model checking language for concurrent value-passing systems (English)
FM, 148-164 (2008).
10
Extraction and use of linguistic patterns for modelling medical guidelines. (English)
Artif. Intell. Med. 39, No. 2, 137-149 (2007).
11
Runge-Kutta methods and inverse Hermite interpolation (English)
SYNASC, 118-123 (2007).
12
A specification language for coordination in agent systems (English)
IAT, 252-256 (2007).
13
The role of model checking in critiquing based on clinical guidelines (English)
AIME, 411-420 (2007).
14
Adaptive cubatures on triangle and spatial data structures. (English)
Agratini, Octavian (ed.) et al., Proceedings of the international conference on numerical analysis and approximation theory, Cluj-Napoca, Romania, July 4‒8, 2006. Cluj-Napoca: Casa Cărţii de Ştiinţă (ISBN 973-686-961-X/hbk). 401-409 (2006).
15
Ontology-driven extraction of linguistic patterns for modelling clinical guidelines (English)
BNAIC, 381-382 (2005).
16
Prototyping architectural support for program rollback using fpgas (English)
FCCM, 23-32 (2005).
17
Ontology-driven extraction of linguistic patterns for modelling clinical guidelines (English)
AIME, 191-200 (2005).
18
Design patterns for modelling guidelines (English)
AIME, 121-125 (2005).
19
Dynamic stochastic models for workflow response optimization (English)
ICWS, 657-664 (2005).
20
Result 1 to 20 of 33 total
Start
Contact
Print
General Help
