10055 search results - page 330 / 2011 » Structured programming using processes |
92
Voted
RC
2007
15 years 4 days ago
2007
Abstract. In engineering applications, we need to make decisions under uncertainty. Traditionally, in engineering, statistical methods are used, methods assuming that we know the p...
119
click to vote
IJIT
2004
15 years 2 months ago
2004
One of the major problems in genomic field is to perform sequence comparison on DNA and protein sequences. Executing sequence comparison on the DNA and protein data is a computatio...
ICMAS
2000
15 years 2 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
109
click to vote
ACTAC
2008
15 years 24 days ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
108
Voted
JAR
2002
15 years 9 days ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...