3172 search results - page 375 / 635 » New developments of the Z-EDM algorithm |
197
click to vote
ICSE
1992
IEEE-ACM
15 years 10 months ago
1992
IEEE-ACM
Although there is much interest in creating libraries of well-designed, thoroughly-tested classes that can be confidently reused for many applications, few class testing technique...
206
click to vote
EDBT
2009
ACM
15 years 10 months ago
2009
ACM
Given a set of n query points in a general metric space, a metricspace skyline (MSS) query asks what are the closest points to all these query points in the database. Here, consid...
198
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
As the radio spectrum usage paradigm shifting from the traditional command and control allocation scheme to the open spectrum allocation scheme, wireless mesh networks meet new opp...
246
click to vote
SIGCOMM
1994
ACM
15 years 10 months ago
1994
ACM
In recent years, a wide variety of mobile computing devices has emerged, including portables, palmtops, and personal digit al assistants. Providing adequate network connectivity y...
181
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...