5624 search results - page 577 / 1125 » On Conditional Covering Problem |
162
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
We present the definition of diverse models of physical systems using the Cell-DEVS paradigm. Cell-DEVS is an extension of the DEVS formalism that allows the definition of cellula...
225
click to vote
AIIA
1995
Springer
15 years 10 months ago
1995
Springer
Recently, a new approach that involves a form of simulated evolution has been proposed for the building of autonomous robots. However, it is still not clear if this approach may b...
180
click to vote
RTSS
1995
IEEE
15 years 10 months ago
1995
IEEE
Previous work in real-time database management systems (RT-DBMS) has primarily based on simulation. This paper discusses how current real-time technology has been applied to archi...
172
click to vote
DLOG
2007
15 years 9 months ago
2007
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
190
click to vote
CBMS
2005
IEEE
15 years 9 months ago
2005
IEEE
In gene expression data a bicluster is a subset of genes and a subset of conditions which show correlating levels of expression. However, the problem of finding significant biclu...