3011 search results - page 418 / 603 » Generating XML Based Specifications of Information Systems |
143
click to vote
ASE
2005
15 years 1 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
148
click to vote
MICCAI
2006
Springer
16 years 2 months ago
2006
Springer
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...
WSC
2008
15 years 4 months ago
2008
The typical approach to finding minimum levels of resources that still allow support and operational performance goals to be met for military aircraft is based on a manual trial-a...
120
click to vote
SEC
2008
15 years 3 months ago
2008
Many applications inherently disclose information because perfect privacy protection is prohibitively expensive. RFID tags, for example, cannot be equipped with the cryptographic p...
130
click to vote
SIGIR
2002
ACM
15 years 1 months ago
2002
ACM
A novel method for simultaneous keyphrase extraction and generic text summarization is proposed by modeling text documents as weighted undirected and weighted bipartite graphs. Sp...