8828 search results - page 405 / 1766 » Formal methods in practice |
180
click to vote
ICIAP
2005
ACM
16 years 7 months ago
2005
ACM
This paper introduces a new efficient way for computing affine invariant features from gray-scale images. The method is based on a novel image transform which produces infinitely m...
171
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Web server scalability can be greatly enhanced via hybrid data dissemination methods that use both unicast and multicast. Hybrid data dissemination is particularly promising due t...
215
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Enterprise resource planning (ERP) systems integrate companies’ multiple information systems and help adapt best practices for business processes. ERP systems are in most cases ...
204
click to vote
NETGAMES
2005
ACM
16 years 12 days ago
2005
ACM
In this paper, we propose a new distributed event delivery method for MMORPG (Massively Multiplayer Online Role Playing Games). In our method, the whole game space is divided into...
167
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
Several pattern discovery methods proposed in the data mining literature have the drawbacks that they discover too many obvious or irrelevant patterns and that they do not leverag...