1860 search results - page 291 / 372 » A Temporal Logic of Robustness |
164
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a model-driven approach to the development of web applications based on the Ubiquitous Web Application (UWA) design framework, the Model-View-Controller (MVC) a...
158
click to vote
ISVC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The function of a protein is dependent on whether and how it can interact with various ligands. Therefore, an accurate prediction of protein-ligand interactions is paramo...
169
click to vote
MICAI
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes a fault diagnosis system (FDS) for non-linear plants based on fuzzy logic. The proposed scheme, named VisualBlock-FIR, runs under the Simulink framework and en...
167
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
144
click to vote
WILF
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we propose the Possibilistic C-Means in Feature Space and the One-Cluster Possibilistic C-Means in Feature Space algorithms which are kernel methods for clustering in...