4835 search results - page 279 / 967 » Intelligent Selection Tools |
147
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
154
click to vote
ICTAI
2007
IEEE
16 years 25 days ago
2007
IEEE
Context-sensitive graph grammar construction tools have been used to develop and study interesting languages. However, the high dimensionality of graph grammars result in costly e...
221
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Since critical socio-technical systems include people interacting with equipments in workplaces, their intrinsic reliability problems have been concerned with both these two "...
161
click to vote
TPHOL
2007
IEEE
16 years 24 days ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...
147
click to vote
IDEAL
2007
Springer
16 years 20 days ago
2007
Springer
Many intermediate program representations are used by compilers and other software development tools. In this paper, we propose a novel representation technique that, unlike those ...