2082 search results - page 144 / 417 » Change Paths in Reasoning! |
BIBE
2007
IEEE
14 years 4 months ago
2007
IEEE
Network mapping is a convenient tool for comparing and exploring biological networks; it can be used for predicting unknown pathways, fast and meaningful searching of databases, a...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
SEFM
2006
IEEE
14 years 4 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
ICADL
2005
Springer
14 years 3 months ago
2005
Springer
Search engines of main-stream literature digital libraries such as ACM Digital Library, Google Scholar, and PubMed employ file-based systems, and provide users with a basic boolean...
ISCC
2003
IEEE
14 years 3 months ago
2003
IEEE
Network self-awareness is the ability of a network to observe its own behavior using internal probing and measurement mechanisms, and to make effective autonomous use of these obs...