Sciweavers

4354 search results - page 103 / 871
» Matching Objects with Patterns
Sort
View
ECOOP
1998
Springer
15 years 5 months ago
Predicate Dispatching: A Unified Theory of Dispatch
Predicate dispatching generalizes previous method dispatch mechanisms by permitting arbitrary predicates to control method applicability and by using logical implication between pr...
Michael D. Ernst, Craig S. Kaplan, Craig Chambers
LPAR
2004
Springer
15 years 7 months ago
Second-Order Matching via Explicit Substitutions
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
Flávio L. C. de Moura, Fairouz Kamareddine,...
109
Voted
GEOINFORMATICA
2008
73views more  GEOINFORMATICA 2008»
15 years 1 months ago
Reporting Leaders and Followers among Trajectories of Moving Point Objects
Abstract. Widespread availability of location aware devices (such as GPS receivers) promotes capture of detailed movement trajectories of people, animals, vehicles and other moving...
Mattias Andersson, Joachim Gudmundsson, Patrick La...
IBPRIA
2005
Springer
15 years 7 months ago
A New Algorithm for Pattern Optimization in Protein-Protein Interaction Extraction System
Abstract. In pattern matching based Protein-Protein Interaction Extraction systems, patterns generated manually or automatically exist erroneous and redundancy, which greatly affec...
Yu Hao, Xiaoyan Zhu, Ming Li
IFIPTCS
2010
14 years 11 months ago
Concurrent Pattern Calculus
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
Thomas Given-Wilson, Daniele Gorla, Barry Jay