2514 search results - page 432 / 503 » The use of industrial-strength formal methods |
146
click to vote
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...
157
click to vote
INFOCOM
2008
IEEE
16 years 20 days ago
2008
IEEE
— While the practical coding scheme [1] has been shown to be able to improve throughput of wireless networks, there still lacks fundamental understanding on how the coding scheme...
161
click to vote
IROS
2008
IEEE
16 years 20 days ago
2008
IEEE
— In order to be truly autonomous, robots that operate in natural, populated environments must have the ability to create a model of these unpredictable dynamic environments and ...
174
click to vote
CIDM
2007
IEEE
16 years 18 days ago
2007
IEEE
— In recent applications of clustering such as gene expression microarray analysis, collaborative filtering, and web mining, object similarity is no longer measured by physical ...
153
click to vote
SEFM
2007
IEEE
16 years 16 days ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...