Sciweavers

7335 search results - page 1034 / 1467
» Scene Based Reasoning
Sort
View
HYBRID
1992
Springer
15 years 10 months ago
A Formal Approach to Computer Systems Requirements Documentation
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...
INFOCOM
1991
IEEE
15 years 10 months ago
On Multicast Path Finding Algorithms
We have designed and implemented three multicast path finding algorithms for networks with directed links: an optimal algorithm based on the dynamic programming technique, a heuri...
Ching-Hua Chow
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
15 years 10 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun
PARLE
1987
15 years 10 months ago
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...
Peter H. Welch
ACISICIS
2009
IEEE
15 years 10 months ago
Temporal Pattern Recognition in Video Clips Detection
Temporal representation and reasoning plays an important role in Data Mining and Knowledge Discovery, particularly, in mining and recognizing patterns with rich temporal informati...
Aihua Zheng, Jixin Ma, Bin Luo, Miltos Petridis, S...
« Prev « First page 1034 / 1467 Last » Next »