2500 search results - page 464 / 500 » Specifying Behavior in C |
101
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
This paper presents a framework for describing the spatial distribution and the global frequency of agents who play the spatial prisoner’s dilemma with coalition formation. The ...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
OTM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Web portals hosting large-scale internet applications have become popular due to the variety of services they provide to their users. These portals are developed using co...
112
click to vote
SCALESPACE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The dynamic behavior of the cardiac muscle is strongly dependent on heart diseases. Optic flow techniques are essential tools to assess and quantify the contraction of t...
UC
2009
Springer
15 years 6 months ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...