Sciweavers

134 search results - page 14 / 27
» Logics and Models of Real Time: A Survey
Sort
View
90
Voted
ICC
2009
IEEE
118views Communications» more  ICC 2009»
15 years 6 months ago
A First Order Logic Security Verification Model for SIP
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
Dimitris Geneiatakis, Costas Lambrinoudakis, Georg...
118
Voted
TIME
2006
IEEE
15 years 5 months ago
In time alone: on the computational power of querying the history
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
Alexei Lisitsa, Igor Potapov
97
Voted
AIS
2006
Springer
14 years 11 months ago
Meetings and meeting modeling in smart environments
In this paper we survey our research on smart meeting rooms and its relevance for augmented reality meeting support and virtual reality generation of meetings in real time or off-l...
Anton Nijholt, Rieks op den Akker, Dirk Heylen
IJCAI
2007
15 years 1 months ago
A Fully Connectionist Model Generator for Covered First-Order Logic Programs
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
Sebastian Bader, Pascal Hitzler, Steffen Höll...
SEKE
2004
Springer
15 years 5 months ago
Predicting UML Statechart Diagrams Understandability Using Fuzzy Logic-Based Techniques
In this work, we present an application of the Fuzzy Logic in the field of prediction in Software Engineering. We specifically use the Fuzzy Prototypical Knowledge Discovery for ch...
José A. Cruz-Lemus, Marcela Genero, Jos&eac...