3056 search results - page 440 / 612 » Open Implementation Analysis and Design |
127
click to vote
ATVA
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
170
click to vote
ASAP
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
146
click to vote
AAAI
2010
15 years 6 months ago
2010
Auctions are promising decentralized methods for teams of agents to allocate and re-allocate tasks among themselves in dynamic, partially known and time-constrained domains with p...
134
click to vote
LREC
2010
15 years 6 months ago
2010
This paper presents the development of an open-source Spanish Dependency Grammar implemented in FreeLing environment. This grammar was designed as a resource for NLP applications ...
124
click to vote
LREC
2008
15 years 6 months ago
2008
Phonetic segmentation is the procedure which is used in many applications of speech processing, both as a subpart of automated systems or as the tool for an interactive work. In t...