1.
|
Non prioritized answer set revision Simari, Gerardo I. - Falappa, Marcelo Alejandro
|
2.
|
Synchronous collaboration of virtual and remote laboratories Jara Bravo, Carlos Alberto - Candelas Herías, Francisco Andrés - Torres Medina, Fernando - Dormido Bencomo, Sebastián - Esquembre Martínez, Francisco
|
3.
|
UAlacant: using online machine translation for cross-lingual textual entailment Esplà Gomis, Miquel - Sánchez Martínez, Felipe - Forcada Zubizarreta, Mikel L.
|
4.
|
A Categorical Framework for the Specification and the Verification of Aspect
Oriented Systems Sabas, Arsène
|
5.
|
Learning New Principles from Precedents and Exercises: The Details Winston, Patrick H.
|
6.
|
KUHIFADHI MAZINGIRA:
CULTIVATING CONSERVATION KNOWLEDGE IN
RURAL KENYAN SCHOOLS, CLUBS, AND COMMUNITIES Siller, Stefanie J.
|
7.
|
ARIADNE: Pattern-Directed Inference and Hierarchical Abstraction in Protein Structure Recognition Lathrop, Richard H. - Webster, Teresa A. - Smith, Temple F.
|
8.
|
The Essential Dynamics Algorithm: Essential Results Martin, Martin C.
|
9.
|
Priors Stabilizers and Basis Functions: From Regularization to Radial, Tensor and Additive Splines Girosi, Federico - Jones, Michael - Poggio, Tomaso
|
10.
|
Understanding Simple Picture Programs Goldstein, Ira P.
|