5630 search results - page 256 / 1126 » Computability in Specification |
139
click to vote
AAAI
1996
15 years 7 months ago
1996
The paper presents an efficient goal oriented algorithm for symbolic propagation in Bayesian networks. The proposed algorithm performs symbolic propagation using numerical methods...
125
click to vote
AVI
1996
15 years 7 months ago
1996
A framework for user-interfaces to databases (IDSs) is proposed which draws from existing research on human computer interaction (HCI) and database systems. The framework is descr...
132
click to vote
DEDS
2008
15 years 6 months ago
2008
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...
165
click to vote
IOR
2006
15 years 6 months ago
2006
In the dial-a-ride problem, users formulate requests for transportation from a specific origin to a specific destination. Transportation is carried out by vehicles providing a sha...
182
click to vote
JSS
2008
15 years 6 months ago
2008
Since the turn of the millenium, Working Groups of the W3C have been concentrating on the development of XML based security standards, which are paraphrased as XML Security. XML S...