3342 search results - page 574 / 669 » Automating Abstract Interpretation |
ITNG
2006
IEEE
14 years 4 months ago
2006
IEEE
The huge volumes of biomedical texts available online drives the increasing need for automated techniques to analyze and extract knowledge from these repositories of information. ...
TIME
2006
IEEE
14 years 4 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
3DGIS
2006
Springer
14 years 4 months ago
2006
Springer
Abstract Three-dimensional (3D) building model is one of the most important components in a cyber city implementation and application. This study developed an effective and highly ...
ADMA
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. The web with its rapid expansion has become an excellent resource for gathering information and people’s opinion. A company owner wants to know who is the competitor, a...
ASPDAC
2006
ACM
14 years 4 months ago
2006
ACM
Abstract— The amount of energy consumed for interconnecting the IP-blocks is increasing significantly due to the suboptimal scaling of long wires. To limit this energy penalty, ...