12946 search results - page 2490 / 2590 » Natural Language Processing |
177
click to vote
SOFSEM
2007
Springer
16 years 14 days ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
146
click to vote
WABI
2007
Springer
16 years 14 days ago
2007
Springer
Although snake venom proteins have been proven instrumental in the design of blood clotting and cytostatic breast cancer drugs, the main method in use to sequence these unknown pr...
210
click to vote
WLP
2007
Springer
16 years 14 days ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
192
click to vote
ACSC
2006
IEEE
16 years 13 days ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
182
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
Abstract— Continuing scaling of CMOS technology has allowed aggressive pursuant of increased clock rate in DSM chips. The ever shorter clock period has made switching times of di...