8838 search results - page 281 / 1768 » Generalizing Domain Theory |
160
click to vote
SIGIR
2009
ACM
16 years 1 months ago
2009
ACM
Rank correlation statistics are useful for determining whether a there is a correspondence between two measurements, particularly when the measures themselves are of less interest...
185
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
211
Voted
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
182
click to vote
COSIT
2007
Springer
16 years 26 days ago
2007
Springer
Higher level semantics are considered useful in the geospatial domain, yet there is no general consensus on the form these semantics should take. Indeed, knowledge representation p...
182
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we utilize a predator-prey model in order to identify characteristics of single-objective variation operators in the multi-objective problem domain. In detail, we a...