19003 search results - page 343 / 3801 » We Need Assurance |
140
click to vote
CEAS
2006
Springer
15 years 10 months ago
2006
Springer
Our research group has developed new, stateof-the-art antispam software, described in other papers. We are in the process of deploying that software in a large production corporat...
170
click to vote
DGCI
2006
Springer
15 years 10 months ago
2006
Springer
Critical kernels constitute a general framework settled in the of abstract complexes for the study of parallel thinning in any dimension. We take advantage of the properties of thi...
195
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
163
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
We consider multi-robot systems where robots need to cooperate tightly by sharing functionalities with each other. There are methods for automatically configuring a multi-robot sys...
192
click to vote
ICDIM
2007
IEEE
15 years 8 months ago
2007
IEEE
With the growing popularity of XML there is a need not only to describe the structure of XML data but also its semantics. For the conceptual modelling of XML we can use existing c...