Sciweavers

25 search results - page 4 / 5
» re 1995
Sort
View
GIS
1995
ACM
13 years 9 months ago
Object-Oriented Requirements Engineering for GIS Applications
We stress the importance of requirements engineering (RE) for the development of large scale software in general and for GIS-applications in particular. RE analyses the problem do...
Georg Kösters, Bernd-Uwe Pagel, Hans-Werner S...
CSL
1995
Springer
13 years 9 months ago
Deduction by Combining Semantic Tableaux and Integer Programming
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
Bernhard Beckert, Reiner Hähnle
RULES
1995
Springer
120views Database» more  RULES 1995»
13 years 9 months ago
Temporized and Localized Rule Sets
Constraint management plays an important role in design applications where constraints re ect design restrictions and design decisions. ECA rules are a widely used mechanism to enf...
Rose Sturm, Jutta A. Mülle, Peter C. Lockeman...
FLAIRS
2001
13 years 7 months ago
Evolutionary Search for Matrix Multiplication Algorithms
This paperaddresses the problemof algorithm discovery, via evolutionarysearch, in the context of matrix multiplication. Thetraditional multiplicationalgorithm requiresO(n3) multip...
John F. Kolen, Phillip Bruce
UMUAI
2002
76views more  UMUAI 2002»
13 years 5 months ago
User Models and User Physical Capability
Current interface design practices are based on user models and descriptions derived almost exclusively from studies of able-bodied users (Keates et al., 1999). However, such users...
Simeon Keates, Patrick Langdon, P. John Clarkson, ...