2954 search results - page 205 / 591 » Beyond |
167
click to vote
EPIA
2009
Springer
15 years 10 months ago
2009
Springer
Though polarity classification has been extensively explored at various text levels and domains, there has been only comparatively little work looking into topic-related polarity c...
186
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
177
click to vote
HUC
2007
Springer
15 years 10 months ago
2007
Springer
Securing interactions between devices that do not know each other a priori is an important and challenging task. We present Amigo, a technique to authenticate co-located devices us...
174
click to vote
IAT
2009
IEEE
15 years 10 months ago
2009
IEEE
Normative environments are used to regulate multiagent interactions. In business encounters, agents representing business entities make contracts including norms that prescribe wh...
177
click to vote
ANTSW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. For solving combinatorial optimisation problems, exact methods accurately exploit the structure of the problem but are tractable only up to a certain size; approximation ...