1413 search results - page 92 / 283 » Bisimilarity of Open Terms |
169
click to vote
ICDAR
2007
IEEE
16 years 16 days ago
2007
IEEE
In this paper we present a method to locate and recognize graphical symbols appearing in real images. A vectorial signature is defined to describe graphical symbols. It is formul...
160
click to vote
LCN
2007
IEEE
16 years 15 days ago
2007
IEEE
— Ethernet-based Passive Optical Networks (EPON) are being considered as the best candidates for the next generation broadband access networks. Several algorithms for dynamic ban...
148
click to vote
ATAL
2007
Springer
16 years 12 days ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
152
click to vote
CCS
2007
ACM
16 years 12 days ago
2007
ACM
Static analysis tools can handle large-scale software and find thousands of defects. But do they improve software security? We evaluate the effect of static analysis tool use on s...
149
click to vote
DALT
2007
Springer
16 years 11 days ago
2007
Springer
Interoperability has been broadly conceptualized as the ability of agents to work together. In open systems, the interoperability of agents is an important concern. A common way of...