Result 1 to 20 of 254 total
Magic-sets for Datalog with existential quantifiers. (English)
Barceló, Pablo (ed.) et al., Datalog in academia and industry. Second international workshop, Datalog 2.0, Vienna, Austria, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32924-1/pbk). Lecture Notes in Computer Science 7494, 31-43 (2012).
1
Decomposing the Higman-Sims graph into double Petersen graphs. (English)
J. Comb. Math. Comb. Comput. 80, 267-275 (2012).
2
Look-back techniques for ASP programs with aggregates. (English)
Fundam. Inform. 107, No. 4, 379-413 (2011).
3
A robotic model to investigate human motor control. (English)
Biol. Cybern. 105, No. 1, 1-19 (2011).
4
Interval analysis of structures with uncertain-but-bounded axial stiffness. (English)
Comput. Methods Appl. Mech. Eng. 200, No. 21-22, 1945-1962 (2011).
5
To re-rank or to re-query: can visual analytics solve this dilemma? (English)
Forner, Pamela (ed.) et al., Multilingual and multimodal information access evaluation. Second international conference of the cross-language evaluation forum, CLEF 2011, Amsterdam, The Netherlands, September 19‒22, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23707-2/pbk). Lecture Notes in Computer Science 6941, 119-130 (2011).
6
Videogames and elders: a new path in LCT? (English)
Duffy, Vincent G. (ed.), Digital human modeling. Third international conference, ICDHM 2011, held as Part of HCI international 2011, Orlando, FL, USA July 9‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21798-2/pbk). Lecture Notes in Computer Science 6777, 245-254 (2011).
7
An analysis of probabilistic methods for top-N recommendation in collaborative filtering. (English)
Gunopulos, Dimitrios (ed.) et al., Machine learning and knowledge discovery in databases. European conference, ECML PKDD 2011, Athens, Greece, September 5‒9, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-23779-9/pbk). Lecture Notes in Computer Science 6911. Lecture Notes in Artificial Intelligence, 172-187 (2011).
8
Engineering and verifying agent-oriented requirements augmented by business constraints with $B$-tropos. (English)
Auton. Agents Multi-Agent Syst. 23, No. 2, 193-223 (2011).
9
io-port 05900023 Calimeri, Francesco;
Ianni, Giovambattista;
Ricca, Francesco;
Alviano, Mario;
Bria, Annamaria;
Catalano, Gelsomina;
Cozza, Susanna;
Faber, Wolfgang;
Febbraro, Onofrio;
Leone, Nicola;
Manna, Marco;
Martello, Alessandra;
Panetta, Claudio;
Perri, Simona;
Reale, Kristian;
Santoro, Maria Carmela;
Sirianni, Marco;
Terracina, Giorgio;
Veltri, Pierfrancesco
The third answer set programming competition: Preliminary report of the system competition track. (English)
Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 388-403 (2011).
10
ASP at work: SPIN-off and applications of the DLV system. (English)
Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 432-451 (2011).
11
Gepoclu: a software tool for identifying and analyzing gene positional clusters in large-scale gene expression analysis. (English)
BMC Bioinform. 12, 34 (2011).
12
EXRT: towards a simple benchmark for XML readiness testing. (English)
Nambiar, Raghunath (ed.) et al., Performance evaluation, measurement and characterization of complex systems. Second TPC technology conference, TPCTC 2010, Singapore, September 13‒17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18205-1/pbk). Lecture Notes in Computer Science 6417, 93-109 (2011).
13
Convergence analysis of $C^{2}$ Hermite interpolatory subdivision schemes by explicit joint spectral radius formulas. (English)
Linear Algebra Appl. 434, No. 4, 884-902 (2011).
14
Constraint modeling for curriculum planning and validation (English)
Interactive Learning Environments 19, No. 1, 81-123 (2011).
15
Degradation mechanisms of high-power white leds activated by current and temperature (English)
Microelectronics Reliability 51, No. 9-11, 1742-1746 (2011).
16
io-port 50234661 Trivellin, Nicola;
Meneghini, Matteo;
De Santi, C.;
Vaccari, S.;
Meneghesso, Gaudenzio;
Zanoni, Enrico;
Orita, Kenji;
Takigawa, S.;
Tanaka, Tsuyoshi;
Ueda, Daisuke
Degradation of ingan lasers: role of non-radiative recombination and injection efficiency (English)
Microelectronics Reliability 51, No. 9-11, 1747-1751 (2011).
17
Assessing the economic impact of cultural events: A methodology based on applying action-tracking technologies (English)
J. of IT & Tourism 12, No. 3, 249-267 (2011).
18
Semantic annotation for assessing website communicative efficacy (English)
J. of IT & Tourism 12, No. 4, 331-344 (2011).
19
GPS and IEEE 1588 synchronization for the measurement of synchrophasors in electric power systems (English)
Computer Standards & Interfaces 33, No. 2, 176-181 (2011).
20
Result 1 to 20 of 254 total
Start
Contact
Print
General Help
