Sciweavers

2557 search results - page 288 / 512
» Real scaled matching
Sort
View
AISC
2010
Springer
15 years 9 months ago
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
Michael Kohlhase, Florian Rabe, Vyacheslav Zholude...
HICSS
1999
IEEE
97views Biometrics» more  HICSS 1999»
15 years 8 months ago
The Ragnarok Architectural Software Configuration Management Model
The architecture is the fundamental framework for designing and implementing large scale software, and the ability to trace and control its evolution is essential. However, many t...
Henrik Bærbak Christensen
VRML
1999
ACM
15 years 8 months ago
ToolSpace: Web based 3D Collaboration
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
T. Goddard, Vaidy S. Sunderam
SPATIALCOGNITION
2000
Springer
15 years 8 months ago
Some Ways that Maps and Diagrams Communicate
Since ancient times, people have devised cognitive artifacts to extend memory and ease information processing. Among them are graphics, which use elements and the spatial relations...
Barbara Tversky
VTS
1995
IEEE
94views Hardware» more  VTS 1995»
15 years 8 months ago
Synthesis of locally exhaustive test pattern generators
Optimized locally exhaustive test pattern generators based on linear sums promise a low overhead, but have an irregular structure. The paper presents a new algorithm able to compu...
Günter Kemnitz