Sciweavers

5722 search results - page 212 / 1145
» the future of experimental research
Sort
View
GC
2010
Springer
15 years 5 months ago
20 Years of Negami's Planar Cover Conjecture
In 1988, Seiya Negami published a conjecture stating that a graph G has a finite planar cover (i.e. a homomorphism from some planar graph onto G which maps the vertex neighbourhoo...
Petr Hlinený
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 5 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
RE
2008
Springer
15 years 5 months ago
Use and Influence of Creative Ideas and Requirements for a Work-Integrated Learning System
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...
Sara Jones, Perry Lynch, Neil A. M. Maiden, Stefan...
TLT
2008
92views more  TLT 2008»
15 years 5 months ago
Lifelong Learner Modeling for Lifelong Personalized Pervasive Learning
Pervasive and ubiquitous computing has the potential to make huge changes in the ways that we will learn throughout our lives. This paper presents a vision for the lifelong user mo...
Judy Kay
JUCS
2010
121views more  JUCS 2010»
15 years 5 months ago
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
: Decision making under uncertainty is a key issue in information fusion and logic based reasoning approaches. The aim of this paper is to show noteworthy theoretical and applicati...
Yang Xu, Jun Liu, Luis Martínez, Da Ruan