3131 search results - page 585 / 627 » Phase-Based Local Features |
255
click to vote
PADL
2009
Springer
16 years 2 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
235
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
153
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
: Heterogeneous wireless sensor networks represent a challenging programming environment. Servilla addresses this by offering a new middleware framework that provides service provi...
132
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Calculation of object similarity, for example through a distance function, is a common part of data mining and machine learning algorithms. This calculation is crucial for efficie...
117
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
We describe a data mining system to detect frauds that are camouflaged to look like normal activities in domains with high number of known relationships. Examples include accounti...