11462 search results - page 374 / 2293 » Developing Application-Centric Methods |
136
click to vote
DASFAA
1995
IEEE
15 years 8 months ago
1995
IEEE
A path dictionary encodes the connections among objects in the aggregation hierarchy. It has been shown to be an efficient mechanism for supporting nested object queries [6]. In t...
146
click to vote
FM
2008
Springer
15 years 6 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
149
click to vote
SIMVIS
2008
15 years 6 months ago
2008
In this paper, we present an overview of a number of existing flow visualization methods, developed by the authors in the recent past, that are specifically aimed at integrating a...
122
click to vote
CSC
2006
15 years 6 months ago
2006
Abstract: Tikhonov regularization is a popular and effective method for the approximate solution of illposed problems, including Fredholm equations of the first kind. The Tikhonov ...
156
click to vote
IJCAI
2001
15 years 6 months ago
2001
We present a new approach to inferring a probability distribution which is incompletely specified by a number of linear constraints. We argue that the currently most popular appro...