Sciweavers

2152 search results - page 334 / 431
» A Framework for Modeling DNA Based Molecular Systems
Sort
View
FASE
2009
Springer
16 years 1 months ago
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
Frank Hermann, Hartmut Ehrig, Claudia Ermel
WACV
2007
IEEE
16 years 20 days ago
Motion Estimation Using a General Purpose Neural Network Simulator for Visual Attention
Motion detection and estimation is a first step in the much larger framework of attending to visual motion based on Selective Tuning Model of Visual Attention [1]. In order to be ...
Florentin Dorian Vintila, John K. Tsotsos
MLMI
2004
Springer
15 years 11 months ago
Multistream Dynamic Bayesian Network for Meeting Segmentation
This paper investigates the automatic analysis and segmentation of meetings. A meeting is analysed in terms of individual behaviours and group interactions, in order to decompose e...
Alfred Dielmann, Steve Renals
AAAI
2008
15 years 8 months ago
Adaptive Control for Autonomous Underwater Vehicles
We describe a novel integration of Planning with Probabilistic State Estimation and Execution resulting in a unified representational and computational framework based on declarat...
Conor McGann, Frederic Py, Kanna Rajan, John Ryan,...
ENTCS
2010
119views more  ENTCS 2010»
15 years 6 months ago
A Tableau Method for Checking Rule Admissibility in S4
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
Sergey Babenyshev, Vladimir V. Rybakov, Renate A. ...