1341 search results - page 160 / 269 » Periods in Extensions of Words |
FMCO
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
ICCCI
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. The paper provides an insight into the improved novel metaheuristics of the Firefly Algorithm for constrained continuous optimization tasks. The presented technique is in...
HT
2010
ACM
13 years 8 months ago
2010
ACM
This paper describes a new approach towards detecting plagiarism and scientific documents that have been read but not cited. In contrast to existing approaches, which analyze docu...
CN
2011
13 years 5 months ago
2011
Vulnerability of networks against one-shot decapitation attacks has been addressed several times in the literature. A first study on how a network can best defend itself by reple...
COLING
2010
13 years 5 months ago
2010
It has been recognized for quite some time that sustainable data formats play an important role in the development and curation of linguistic resources. The purpose of this paper ...