2203 search results - page 117 / 441 » Knowledge Integration |
131
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
158
click to vote
IEE
2008
15 years 4 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
143
click to vote
ICMCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Training a good text detector requires a large amount of labeled data, which can be very expensive to obtain. Cotraining has been shown to be a powerful semi-supervised learning t...
161
click to vote
INFORMATICALT
2007
15 years 4 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
123
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Integration of Web search with geographic information has recently attracted much attention. There are a number of local Web search systems enabling users to find locationspecific...