Sciweavers

7921 search results - page 1332 / 1585
» Process Modeling in Web Applications
Sort
View
RAS
2006
110views more  RAS 2006»
15 years 2 months ago
A methodology for provably stable behaviour-based intelligent control
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
Christopher J. Harper, Alan F. T. Winfield
TCSV
2008
84views more  TCSV 2008»
15 years 2 months ago
A Technique for Evaluation of CCD Video-Camera Noise
This paper presents a technique to identify and measure the prominent sources of sensor noise in commercially available CCD video cameras by analysis of the output images. Noise fu...
Kenji Irie, Alan E. McKinnon, Keith Unsworth, Ian ...
JSW
2007
134views more  JSW 2007»
15 years 2 months ago
Compositional Patterns of Non-Functional Properties for Contract Negotiation
— Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This a...
Hervé Chang, Philippe Collet
FUIN
2002
80views more  FUIN 2002»
15 years 2 months ago
P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)
Abstract. The aim of this paper is to show how the P systems with replicated rewriting can be modeled by X-machines (also called Eilenberg machines). In the first approach, the par...
Joaquin Aguado, Tudor Balanescu, Anthony J. Cowlin...
139
Voted
JOLLI
1998
103views more  JOLLI 1998»
15 years 2 months ago
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in thi...
Joeri Engelfriet, Jan Treur
« Prev « First page 1332 / 1585 Last » Next »