Sciweavers

5984 search results - page 841 / 1197
» The Informal Nature of Systems Engineering
Sort
View
MKM
2005
Springer
16 years 1 months ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis
AH
2004
Springer
16 years 1 months ago
Recent Soft Computing Approaches to User Modeling in Adaptive Hypermedia
Abstract. The ability of an adaptive hypermedia system to create tailored environments depends mainly on the amount and accuracy of information stored in each user model. One of th...
Enrique Frías-Martínez, George D. Ma...
AIS
2004
Springer
16 years 1 months ago
Proposal of High Level Architecture Extension
The paper proposes three dimensional extension to High Level ARchitecture (HLA) and Runtime Infrastructure (RTI) to solve several issues such as security, information hiding proble...
Jae-Hyun Kim, Tag Gon Kim
ASIAN
2004
Springer
140views Algorithms» more  ASIAN 2004»
16 years 1 months ago
A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs
Natural images and photographs sometimes may contain stains or undesired objects covering significant portions of the images. Inpainting is a method to fill in such portions using ...
Feng Tang, Yiting Ying, Jin Wang, Qunsheng Peng
ICMI
2004
Springer
121views Biometrics» more  ICMI 2004»
16 years 1 months ago
'SlidingMap': introducing and evaluating a new modality for map interaction
In this paper, we describe the concept of a new modality for interaction with digital maps. We propose using inclination as a means for panning maps on a mobile computing device, ...
Matthias Merdes, Jochen Häußler, Matthi...