5550 search results - page 264 / 1110 » Different Approaches to Proof Systems |
174
click to vote
ENTCS
2008
15 years 6 months ago
2008
We describe a method for proving the termination of graph transformation systems. The method is based on the fact that infinite reductions must include infinite `creation chains&#...
139
click to vote
TSP
2010
15 years 1 months ago
2010
Using the subband technique, an LTI system can be implemented by the composition of an analysis filterbank, followed by a transfer matrix (subband model) and a synthesis filterbank...
127
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We expect that in future commodity hardware will be used in safety critical applications. But the used commodity microprocessors will become less reliable because of decreasing fe...
150
click to vote
PRL
2006
15 years 6 months ago
2006
This paper proposes an approach to recognise human postures in video sequences, which combines a 2D approach with a 3D human model. The 3D model is a realistic articulated human m...
155
click to vote
KR
1994
Springer
15 years 10 months ago
1994
Springer
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...