1389 search results - page 21 / 278 » Definability as hypercomputational effect |
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
A ‘contact network’ modeling infection transmission comprises of nodes (or individuals) that are linked when they are in contact that possibly transmits an infection. We here s...
ICCAD
2000
IEEE
14 years 1 months ago
2000
IEEE
––In this paper, a corner block list — a new efficient topological representation for non-slicing floorplan is proposed with applications to VLSI floorplan and building block...
CC
2001
Springer
14 years 8 days ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
ESWS
2008
Springer
13 years 10 months ago
2008
Springer
This paper describes hybrid search, a search method supporting both document and knowledge retrieval via the flexible combination of ontologybased search and keyword-based matching...
SODA
2008
ACM
13 years 10 months ago
2008
ACM
One of the main questions that arise when studying random and quasi-random structures is which properties P are such that any object that satisfies P "behaves" like a tr...