1722 search results - page 200 / 345 » Variables in Concept Graphs |
128
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
149
Voted
ICIC
2009
Springer
15 years 10 months ago
2009
Springer
Genetic Programming(GP) can obtain a program structure to solve complex problem. This paper presents a new form of Genetic Programming, Function Sequence Genetic Programming (FSGP)...
123
Voted
PEPM
2007
ACM
15 years 10 months ago
2007
ACM
A logic program strongly quasi-terminates when only a finite number of distinct atoms (modulo variable renaming) are derivable from any given query and computation rule. This noti...
125
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Clinical Practice Guidelines (CPGs) play an important role in improving the quality of care and patient outcomes. Although several machine-readable representations of practice guid...
143
Voted
COCOON
2005
Springer
15 years 9 months ago
2005
Springer
Orthogonal Variable Spreading Factor (OVSF) CDMA code has the ability to support higher and variable data rates with a single code using one transceiver. A number of CDMA code ass...