7529 search results - page 1392 / 1506 » The Modula-3 Type System |
134
click to vote
KBSE
2007
IEEE
15 years 11 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...
138
Voted
QEST
2007
IEEE
15 years 11 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 ...
141
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...
116
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...
143
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
There are a number of issues for information systems which are required to collect data urgently that are not well accommodated by current conceptual modelling methodologies and a...