Sciweavers

9873 search results - page 1856 / 1975
» Emergent Semantics Systems
Sort
View
129
Voted
MICRO
1996
IEEE
96views Hardware» more  MICRO 1996»
15 years 7 months ago
Exceeding the Dataflow Limit via Value Prediction
For decades, the serialization constraints imposed by true data dependences have been regarded as an absolute limit--the dataflow limit--on the parallel execution of serial progra...
Mikko H. Lipasti, John Paul Shen
CSCW
1996
ACM
15 years 7 months ago
Hypermedia Structures and the Division of Labor in Meeting Room Collaboration
The type of collaboration for a group, whether working in parallel or collectively, is a style for a group influenced by many factors, among them the technology that the group wor...
Gloria Mark, Jörg M. Haake, Norbert A. Streit...
154
Voted
ISMIS
1997
Springer
15 years 7 months ago
Knowledge-Based Image Retrieval with Spatial and Temporal Constructs
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
Wesley W. Chu, Alfonso F. Cardenas, Ricky K. Taira
102
Voted
ICTAI
1993
IEEE
15 years 7 months ago
Concrete Browsing of a Graphical Toolkit Library
The guidar project aims to support the complete activity of Graphical User Interface Development And Reuse. We propose to organize the system as a collaborative architecture of in...
Denys Duchier
LICS
1994
IEEE
15 years 7 months ago
A Multiple-Conclusion Meta-Logic
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
Dale Miller
« Prev « First page 1856 / 1975 Last » Next »