3680 search results - page 255 / 736 » cases 2010 |
199
click to vote
JSC
2010
15 years 5 months ago
2010
We study the problem of deciding whether two ontologies are inseparable w.r.t. a signature Σ, i.e., whether they have the same consequences in the signature Σ. A special case is...
162
click to vote
JUCS
2010
15 years 5 months ago
2010
: Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs wo...
144
click to vote
MA
2010
Springer
15 years 5 months ago
2010
Springer
We establish the Stein phenomenon in the context of two-step, monotone incomplete data drawn from Np+q(µ, Σ), a multivariate normal population with mean µ and covariance matrix...
210
click to vote
MDM
2010
Springer
15 years 5 months ago
2010
Springer
— We introduce a novel strategy for data processing in Wireless Sensor Networks (WSNs) in the case of emergency fire evacuation with stringent delay constraints. Such networks sh...
188
click to vote
MFCS
2010
Springer
15 years 5 months ago
2010
Springer
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...