4036 search results - page 378 / 808 » Formal Methods |
184
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
Compositional Modelling (CM) has been applied to synthesize automatically plausible scenarios in many problem domains with promising results. However, it is assumed that the generi...
145
click to vote
COSIT
2007
Springer
16 years 29 days ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
179
click to vote
ACSD
2006
IEEE
16 years 25 days ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
176
click to vote
ACCV
2006
Springer
16 years 23 days ago
2006
Springer
Abstract. This paper addresses the problem of super resolution - obtaining a single high-resolution image given a set of low resolution images which are related by small displaceme...
199
click to vote
ACSC
2005
IEEE
16 years 12 days ago
2005
IEEE
Novel, high-throughput technologies are challenging the core of algorithmic methods available in Computer Science. Microarray technologies give Life Sciences researchers the oppor...