Result 1 to 20 of 26 total
Eigenvalue computations in the context of data-sparse approximations of integral operators. (English)
J. Comput. Appl. Math. 237, No. 1, 171-181 (2013).
1
Dependability analysis in the ambient assisted living domain: an exploratory case study (English)
Journal of Systems and Software 85, No. 1, 112-131 (2012).
2
An annotation scheme for automated bias detection in wikipedia (English)
Linguistic Annotation Workshop, 47-55 (2011).
3
Using social networks for exchanging valuable real time public transport information among travellers (English)
CEC, 365-370 (2011).
4
Population dynamics on random networks: simulations and analytical models. (English)
Eur. Phys. J. B, Condens. Matter Complex Syst. 74, No. 2, 235-242 (2010).
5
Voice quality of European Portuguese emotional speech. (English)
Pardo, Thiago Alexandre Salgueiro (ed.) et al., Computational processing of the Portuguese language. 9th international conference, PROPOR 2010, Porto Alegre, RS, Brazil, April 27‒30, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12319-1/pbk). Lecture Notes in Computer Science 6001. Lecture Notes in Artificial Intelligence, 142-151 (2010).
6
Voice quality of European portuguese emotional speech (English)
PROPOR, 142-151 (2010).
7
Heuristic methods for the sectoring arc routing problem. (English)
Eur. J. Oper. Res. 196, No. 3, 856-868 (2009).
8
Detection of masses in mammographic images using Simpson’s diversity index in circular regions and SVM. (English)
Perner, Petra (ed.), Machine learning and data mining in pattern recognition. 6th international conference, MLDM 2009, Leipzig, Germany, July 23‒25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03069-7/pbk). Lecture Notes in Computer Science 5632. Lecture Notes in Artificial Intelligence, 540-553 (2009).
9
SIRS dynamics on random networks: simulations and analytical models (English)
Complex (1), 792-797 (2009).
10
Detection of masses in mammographic images using simpson’s diversity index in circular regions and SVM (English)
MLDM, 540-553 (2009).
11
Methodologies for designing and recording speech databases for corpus based synthesis (English)
LREC (2008).
12
Bounded modified realizability. (English)
J. Symb. Log. 71, No. 1, 329-346 (2006).
13
Bounded modified realizability (English)
J. Symb. Log. 71, No. 1, 329-346 (2006).
14
Magneto-quantum oscillations of the korringa relaxation rate of manganese ion near a two-dimensional electron gas (English)
Microelectronics Journal 36, No. 11, 1041-1044 (2005).
15
Distributed business process coordination: a functionally oriented infrastructure (English)
Int. J. Computer Integrated Manufacturing 18, No. 5, 418-426 (2005).
16
An XML knowledge base system for scheduling problems. (English)
Unger, Herwig (ed.) et al., Innovative Internet computing systems. 2nd international workshop, IICS 2002, Kühlungsborn, Germany, June 20‒22, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43790-8). Lect. Notes Comput. Sci. 2346, 63-74 (2002).
17
Toward a logic for numerical approximations. (English)
Rev. Inform. Teor. Apl. 3, No. 2, 147-166 (1996).
18
Non-monotonic reasoning with logic programming (English)
J. Log. Program. 17, No. 2-4, 227-263 (1993).
19
The use of proof plans to sum series. (English)
Kapur, D. (ed.), Automated deduction - CADE-11. Proceedings of the 11th international conference held in Saratoga Springs, NY, USA, June 15‒18, 1992. Berlin: Springer. Lect. Notes Comput. Sci. 607, 325-339 (1992).
20
Result 1 to 20 of 26 total
Start
Contact
Print
General Help
