7681 search results - page 1400 / 1537 » Typed Membrane Systems |
142
click to vote
IRI
2007
IEEE
15 years 10 months ago
2007
IEEE
Packaging software assets for reuse can improve the potential for others to adopt the software. Packaging the software with appropriate documentation and other resources can facil...
130
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Completing software maintenance and evolution tasks for today’s large, complex software systems can be difficult, often requiring considerable time to understand the system well...
135
click to vote
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
140
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
113
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
The vast majority of the features used in today’s commercially deployed image search systems employ techniques that are largely indistinguishable from text-document search – t...