Sciweavers

473 search results - page 15 / 95
» Computing excluded minors
Sort
View
WSPI
2004
13 years 8 months ago
Philosophical Issues in Computer Science
Abstract. The traditional overlap between computer science and philosophy centres upon the issue of in what sense a computer may be said to think. A lesser known issue of potential...
Ralph Kopperman, Steve Matthews, Homeira Pajoohesh
ATS
2005
IEEE
100views Hardware» more  ATS 2005»
14 years 1 months ago
A Methodology to Compute Bounds on Crosstalk Effects in Arbitrary Interconnects
In this paper, we present a methodology that uses the moments of a generic crosstalk pulse signal to derive upper bounds on the amplitude of crosstalk pulse in arbitrary interconn...
Wichian Sirisaengtaksin, Sandeep K. Gupta
WCET
2008
13 years 8 months ago
Computing time as a program variable: a way around infeasible paths
Conditional branches connect the values of program variables with the execution paths and thus with the execution times, including the worstcase execution time (WCET). Flow analys...
Niklas Holsti
MAICS
2003
13 years 8 months ago
Representing Symbolic Reasoning
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
Brian E. Mastenbrook, Eric G. Berkowitz
ICPR
2006
IEEE
14 years 8 months ago
Canonical Skeletons for Shape Matching
Skeletal representations of 2-D shape, including shock graphs, have become increasingly popular for shape matching and object recognition. However, it is well known that skeletal ...
Alexandru Telea, Cristian Sminchisescu, Diego Macr...