Sciweavers

1721 search results - page 192 / 345
» The fundamentals of hybrid systems modelers
Sort
View
DALT
2009
Springer
15 years 10 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti
CORR
2006
Springer
157views Education» more  CORR 2006»
15 years 6 months ago
DSmT: A new paradigm shift for information fusion
: The management and combination of uncertain, imprecise, fuzzy and even paradoxical or high conflicting sources of information has always been and still remains of primal importan...
Jean Dezert, Florentin Smarandache
ATVA
2006
Springer
83views Hardware» more  ATVA 2006»
15 years 10 months ago
A Fresh Look at Testing for Asynchronous Communication
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
Puneet Bhateja, Paul Gastin, Madhavan Mukund
WWW
2003
ACM
16 years 7 months ago
From Individuals to the Global Community: the Hidden Contradiction of the Cultural History of Classification and the latest brow
We would like to show that the collective production of knowledge and the individual creation of its organizational casting mould, which is therefore incapable of following the gr...
László Z. Karvalics
HYBRID
1998
Springer
15 years 10 months ago
High Order Eigentensors as Symbolic Rules in Competitive Learning
We discuss properties of high order neurons in competitive learning. In such neurons, geometric shapes replace the role of classic `point' neurons in neural networks. Complex ...
Hod Lipson, Hava T. Siegelmann