Result 1 to 20 of 385 total
The QMLTP problem library for first-order modal logics. (English)
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 454-461 (2012).
1
Bidirectional search in a string with wavelet trees and bidirectional matching statistics. (English)
Inf. Comput. 213, 13-22 (2012).
2
Conjunctive query answering in the description logic $\cal S \cal H$ using knots. (English)
J. Comput. Syst. Sci. 78, No. 1, 47-85 (2012).
3
Aus- und Weiterbildung: E-Learning-Angebote für den Gartenbau. (German)
Clasen, Michael (ed.) et al., Informationstechnologie für eine nachhaltige Landbewirtschaftung. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-288-8). Lect. Notes Inform. 194, 299-302 (2012).
4
Unterstützung notfallmedizinischer Einsatzkräfte mittels mobiler Anwendungssysteme: ein empirischer Ansatz zur Anforderungsanalyse. (German)
Back, Andrea (ed.) et al., Mobile und Ubiquitäre Informationssysteme (MMS 2012). Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-296-3). Lect. Notes Inform. 202, 128-132 (2012).
5
Quality of service provisioning for distributed data center inter-connectivity enabled by network virtualization (English)
Future Generation Comp. Syst. 28, No. 3, 554-562 (2012).
6
Gradient clock synchronization in dynamic networks. (English)
Theory Comput. Syst. 49, No. 4, 781-816 (2011).
7
Mit E-Learning zur Fachqualifikation im Pflanzenschutz. (German)
Clasen, Michael (ed.) et al., Qualität und Effizienz durch informationsgestützte Landwirtschaft, Fokus: Moderne Weinwirtschaft. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-275-8). Lect. Notes Inform. 181, 169-172 (2011).
8
Designing a risk-based partner selection process for collaborative cloud computing environments. (English)
Nüttgens, Markus (ed.) et al., Enterprise modelling and information systems architectures (EMISA 2011). Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-284-0). Lect. Notes Inform. 190, 237-242 (2011).
9
Process model verification with SemQuu. (English)
Nüttgens, Markus (ed.) et al., Enterprise modelling and information systems architectures (EMISA 2011). Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-284-0). Lect. Notes Inform. 190, 231-236 (2011).
10
Understanding IT-management and IT-consulting teaching as product service system: application of an engineering model. (English)
Nüttgens, Markus (ed.) et al., Enterprise modelling and information systems architectures (EMISA 2011). Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-284-0). Lect. Notes Inform. 190, 219-224 (2011).
11
Recommendation-based editor for business process modeling. (English)
Data Knowl. Eng. 70, No. 6, 483-503 (2011).
12
Sequential feature selection for classification. (English)
Wang, Dianhui (ed.) et al., AI 2011: Advances in artificial intelligence. 24th Australasian joint conference, Perth, Australia, December 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25831-2/pbk). Lecture Notes in Computer Science 7106. Lecture Notes in Artificial Intelligence, 132-141 (2011).
13
3D human motion capturing based only on acceleration and angular rate measurement for low extremities. (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, 195-203 (2011).
14
On the analysis of the immune-inspired B-Cell algorithm for the vertex cover problem. (English)
Liò, Pietro (ed.) et al., Artificial immune systems. 10th international conference, ICARIS 2011, Cambridge, UK, July 18‒21, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22370-9/pbk). Lecture Notes in Computer Science 6825, 117-131 (2011).
15
Model based architecting and construction of embedded systems (ACES-MB 2010). (English)
Dingel, Juergen (ed.) et al., Models in software engineering. Workshops and symposia at MODELS 2010, Oslo, Norway, October 2‒8, 2010. Reports and revised selected papers. Berlin: Springer (ISBN 978-3-642-21209-3/pbk). Lecture Notes in Computer Science 6627, 70-74 (2011).
16
Conceptual approach to measure the potential of urban heat islands from landuse datasets and landuse projections. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2011. International conference, Santander, Spain, June 20‒23, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21927-6/pbk). Lecture Notes in Computer Science 6782, 381-393 (2011).
17
Design and usage of a process-centric collaboration methodology for virtual organizations in hybrid environments (English)
IJIIT 7, No. 1, 45-64 (2011).
18
Understanding collaboration success in context of cognitive and social presence (English)
IJSODIT 1, No. 3, 18-33 (2011).
19
Checking the semantic correctness of process models - an ontology-driven approach using domain knowledge and rules (English)
Enterprise Modelling and Information Systems Architectures 6, No. 3, 22-35 (2011).
20
Result 1 to 20 of 385 total
Start
Contact
Print
General Help
