Sciweavers

2767 search results - page 303 / 554
» Knowledge Relativity
Sort
View
COMPSAC
2003
IEEE
14 years 3 months ago
A Multi-Agent Software Environment for Testing Web-based Applications
This paper presents an agent-based software environment for testing web-based applications. The infrastructure of the system consists of a lightweight agent platform that supports...
Qingning Huo, Hong Zhu, Sue Greenwood
ICDAR
2003
IEEE
14 years 3 months ago
Symbolic Pruning in a Structural Approach to Engineering Drawing Analysis
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
Tom Henderson, Lavanya Swaminatha
IEEEICCI
2003
IEEE
14 years 3 months ago
Mixing Semantic Networks and Conceptual Vectors: The Case of Hyperonymy
In this paper, we focus on lexical semantics, a key issue in Natural Language Processing (NLP) that tends to converge with conceptual Knowledge Representation (KR) and ontologies....
Violaine Prince, Mathieu Lafourcade
GECCO
2003
Springer
14 years 2 months ago
Problem-Independent Schema Synthesis for Genetic Algorithms
Abstract. As a preprocessing for genetic algorithms, static reordering helps genetic algorithms effectively create and preserve high-quality schemata, and consequently improves th...
Yong-Hyuk Kim, Yung-Keun Kwon, Byung Ro Moon
EUROCRYPT
2010
Springer
14 years 2 months ago
Computational Soundness, Co-induction, and Encryption Cycles
We analyze the relation between induction, co-induction and the presence of encryption cycles in the context of computationally sound symbolic equivalence of cryptographic express...
Daniele Micciancio