4340 search results - page 719 / 868 » Formal Methods and Cryptography |
162
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
152
click to vote
AIME
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
158
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
125
click to vote
ATAL
2009
Springer
15 years 11 months 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 ...
145
click to vote
MKM
2009
Springer
15 years 11 months ago
2009
Springer
The extraction of the relations of nested table headers to content cells is automated with a view to constructing narrow domain ontologies of semistructured web data. A taxonomy of...