1404 search results - page 237 / 281 » Dynamic Scale-Space Theories |
103
click to vote
ATMOS
2010
14 years 9 months ago
2010
Traditionally, the coordination of multiple traffic signals and the traffic assignment problem in an urban street network are considered as two separate optimization problems. How...
108
click to vote
SAB
2010
Springer
14 years 9 months ago
2010
Springer
Prefrontal cortex (PFC) has been implicated in the ability to switch behavioral strategies in response to changes in reward contingencies. A recent experimental study has shown tha...
SASO
2010
IEEE
14 years 9 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
100
click to vote
FM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...