Sciweavers

2780 search results - page 244 / 556
» Generalizing by Removing Detail
Sort
View
ASE
2006
104views more  ASE 2006»
15 years 6 months ago
On the Systematic Analysis of Natural Language Requirements with C
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
Vincenzo Ambriola, Vincenzo Gervasi
CORR
2006
Springer
135views Education» more  CORR 2006»
15 years 6 months ago
On the MacWilliams Identity for Convolutional Codes
: The adjacency matrix associated with a convolutional code collects in a detailed manner information about the weight distribution of the code. A MacWilliams Identity Conjecture, ...
Heide Gluesing-Luerssen, Gert Schneider
IJNSEC
2008
110views more  IJNSEC 2008»
15 years 6 months ago
Security Measures and Weaknesses of the GPRS Security Architecture
This paper presents an evaluation of the security architecture employed in the General Packet Radio Services (GPRS). More specifically, the security measures applied to protect th...
Christos Xenakis
JFP
2006
113views more  JFP 2006»
15 years 6 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
KI
2006
Springer
15 years 6 months ago
Active Monte Carlo Recognition
In this paper we introduce Active Monte Carlo Recognition (AMCR), a new approach for object recognition. The method is based on seeding and propagating "relational" part...
Felix von Hundelshausen, Manuela M. Veloso