489 search results - page 61 / 98 » Structuring the Space of Interactive System Properties |
AMKM
2003
Springer
15 years 3 months ago
2003
Springer
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...
LCTRTS
2004
Springer
15 years 3 months ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
101
click to vote
CADE
2009
Springer
15 years 10 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
GD
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. When adjusting a graph layout, it is often desirable to preserve various properties of the original graph in the adjusted view. Pertinent properties may include straightn...
CSCW
2000
ACM
14 years 9 months ago
2000
ACM
Tailoring groupware has to deal with adapting properties of a shared information space as well as with adapting properties of the cooperation support to the group's needs. In...