3172 search results - page 188 / 635 » New developments of the Z-EDM algorithm |
142
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
129
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Frequency planning is a very important task for current GSM operators. In this work we present a new mathematical formulation of the problem in which the frequency plans are evalu...
123
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most traditional Information Retrieval (IR) systems, including web search engines, operationalize “relevant” as the word frequency in a document of a set of keywords. Because ...
133
click to vote
SUTC
2006
IEEE
15 years 10 months ago
2006
IEEE
Given a query point p, typically the position of a current client, and two datasets S and R, a transitive nearest neighbor (TNN) search returns a pair of objects (s, r) ∈ S × R...
152
click to vote
SIGECOM
2005
ACM
15 years 10 months ago
2005
ACM
We present a new approach to representing coalitional games based on rules that describe the marginal contributions of the agents. This representation scheme captures characterist...