1715 search results - page 232 / 343 » How Space Structures Language |
124
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
150
click to vote
AUSAI
2008
Springer
15 years 4 months ago
2008
Springer
Planning collision-free paths for multiple robots traversing a shared space is a problem that grows combinatorially with the number of robots. The naive centralised approach soon ...
118
click to vote
SBBD
2004
15 years 4 months ago
2004
An enormous amount of information is currently available through specialized services of digital libraries (DLs). However the specification and development of DLs are very complex...
124
click to vote
IJCAI
1997
15 years 4 months ago
1997
Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell and Kapla...
130
click to vote
WSC
1997
15 years 4 months ago
1997
We discuss some basic techniques for modeling dependence between the random variables that are inputs to a simulation model, with the main emphasis being continuous bivariate dist...