Sciweavers

3993 search results - page 619 / 799
» Matchmaking for Structured Objects
Sort
View
ICDE
2009
IEEE
118views Database» more  ICDE 2009»
15 years 10 months ago
An Incremental Threshold Method for Continuous Text Search Queries
Abstract—A text filtering system monitors a stream of incoming documents, to identify those that match the interest profiles of its users. The user interests are registered at ...
Kyriakos Mouratidis, HweeHwa Pang
131
Voted
SAC
2009
ACM
15 years 10 months ago
Matching ThisType to subtyping
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
Chieri Saito, Atsushi Igarashi
144
Voted
SI3D
2009
ACM
15 years 10 months ago
Multiscale 3D navigation
We present a comprehensive system for multiscale navigation of 3-dimensional scenes, and demonstrate our approach on multiscale datasets such as the Earth. Our system incorporates...
James McCrae, Igor Mordatch, Michael Glueck, Azam ...
ESOP
2009
Springer
15 years 10 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
139
Voted
CEC
2009
IEEE
15 years 10 months ago
A cognitive system based on fuzzy information processing and multi-objective evolutionary algorithm
— A cognitive system is presented, which is based on coupling a multi-objective evolutionary algorithm with a fuzzy information processing system. The aim of the system is to ide...
Michael S. Bittermann, Özer Ciftcioglu, I. Se...