12981 search results - page 2254 / 2597 » Model Checking (Abstract) |
131
click to vote
RR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...
134
click to vote
SACRYPT
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
139
click to vote
SAFECOMP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Cognition of technical systems, as the ability to perceive situations, to learn about favorable behavior, and to autonomously generate decisions, adds new attributes to s...
172
click to vote
SCALESPACE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Natural images consist of texture, structure and smooth regions and this makes the task of filtering challenging mainly when it aims at edge and texture preservation. In...
162
click to vote
SSD
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Mobile devices are increasingly being equipped with wireless peerto-peer (P2P) networking interfaces, rendering the sharing of data among mobile devices feasible and bene...