4609 search results - page 377 / 922 » Automatic Generation of Sigma-Protocols |
162
click to vote
WECWIS
2000
IEEE
15 years 11 months ago
2000
IEEE
XML documents are semistructured and the structure of the documents is embedded in the tags. Although XML documents can be accompaniedby a DTD that defines the structure of the d...
184
click to vote
COMPSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper presents a generic approach to statically analyze Java programs in order to detect potential errors (bugs). We discuss a framework that supports our approach and carrie...
183
Voted
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
176
click to vote
ROBOCUP
1997
Springer
15 years 11 months ago
1997
Springer
In this paper we explain how we applied genetic programming to behavior-based team coordination in the RoboCup Soccer Server domain. Genetic programming is a promising new method f...
171
click to vote
EMNLP
2008
15 years 8 months ago
2008
Automatic processing of medical dictations poses a significant challenge. We approach the problem by introducing a statistical framework capable of identifying types and boundarie...