5451 search results - page 173 / 1091 » Typed Operational Semantics |
144
click to vote
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
We consider the following full-text search autocompletion feature. Imagine a user of a search engine typing a query. Then with every letter being typed, we would like an instant d...
133
click to vote
ECMDAFA
2005
Springer
15 years 9 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
136
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
The effectiveness of mutation testing depends heavily on the types of faults that the mutation operators are designed to represent. Therefore, the quality of the mutation operator...
242
click to vote
GIS
2008
ACM
16 years 4 months ago
2008
ACM
It has been pointed out repeatedly that spatial operations must be extended to include support for 3D and moving objects. The attempt to code by hand each spatial operation for ea...
124
click to vote
IFSA
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that are nonlinear convolutions...