5355 search results - page 378 / 1071 » Modules |
163
click to vote
SAC
2002
ACM
15 years 3 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...
157
click to vote
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
155
click to vote
FAC
2010
15 years 1 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
132
click to vote
COLING
2010
14 years 11 months ago
2010
This demonstration presents a highperformance syntactic and semantic dependency parser. The system consists of a pipeline of modules that carry out the tokenization, lemmatization...
119
click to vote
TSP
2010
14 years 10 months ago
2010
Blind recognition of communication parameters is a research topic of high importance for both military and civilian communication systems. Numerous studies about carrier frequency ...