7988 search results - page 1087 / 1598 » A Useful Undecidable Theory |
216
click to vote
PPDP
2004
Springer
16 years 16 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
183
click to vote
RSCTC
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. Acute abdominal pain in childhood is a common but diagnostically challenging problem facing Emergency Department personnel. Experienced physicians use a combination of ke...
155
click to vote
CHI
2010
ACM
16 years 15 days ago
2010
ACM
A consistent theoretical and practical challenge in the design of socio-technical systems is that of motivating users to participate in and contribute to them. This study examines...
205
click to vote
CODES
2003
IEEE
16 years 14 days ago
2003
IEEE
In this paper, we are concerned about the performance estimation of bus-based architectures assuming that the task partitioning on the processing components is already determined....
173
click to vote
GLVLSI
2003
IEEE
16 years 14 days ago
2003
IEEE
Octagonal Steiner Minimal Trees (OSMTs) are used in the global routing phase of pervasive octagonal VLSI layout. The OSMT problem seeks a minimal length spanning structure using e...