846 search results - page 122 / 170 » Rewrite-Based Decision Procedures |
158
click to vote
DBPL
1989
Springer
15 years 10 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
203
click to vote
JUCS
2008
15 years 6 months ago
2008
: Multi-Agent Systems (MAS) constitute a well known approach in modelling dynamical real world systems. Recently, this technology has been applied to Wireless Communication Systems...
162
click to vote
VSTTE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
219
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Genome context methods have been introduced in the last decade as automatic methods to predict functional relatedness between genes in a target genome using the patter...
189
click to vote
AIME
1997
Springer
15 years 10 months ago
1997
Springer
We used Machine Learning (ML) methods to learn the best decision rules to distinguish normal brain aging from the earliest stages of dementia using subsamples of 198 normal and 244...