Sciweavers

2225 search results - page 237 / 445
» Logical Structures in the Lexicon
Sort
View
LISA
2007
15 years 9 months ago
Network Patterns in Cfengine and Scalable Data Aggregation
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...
Mark Burgess, Matthew Disney, Rolf Stadler
CP
2008
Springer
15 years 8 months ago
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
Mats Carlsson, Nicolas Beldiceanu, Julien Martin
CSFW
2008
IEEE
15 years 8 months ago
A Correctness Proof of a Mesh Security Architecture
The IEEE 802.11s working group is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with a ...
Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve ...
FUZZIEEE
2007
IEEE
15 years 8 months ago
Consistent, Complete and Compact Generation of DNF-type Fuzzy Rules by a Pittsburgh-style Genetic Algorithm
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...
Jorge Casillas, Pedro Martínez
LANMR
2007
15 years 8 months ago
Teaching natural deduction to improve text argumentation analysis in engineering students
Teaching engineering students courses such as computer science theory, automata theory and discrete mathematics took us to realize that introducing basic notions of logic, especial...
Rogelio Dávila, Sara C. Hernández, J...