5550 search results - page 1100 / 1110 » Different Approaches to Proof Systems |
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
Despite substantial progress in measuring the 3D profile of anatomical variations in the human brain, their genetic and environmental causes remain enigmatic. We developed an auto...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
Measuring the similarity between semantic relations that hold among entities is an important and necessary step in various Web related tasks such as relation extraction, informati...
VLSID
2007
IEEE
15 years 10 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
This research is motivated by emerging, real-world wireless sensor network applications for monitoring and control. We examine the benefits and costs of caching data for such appli...