2599 search results - page 346 / 520 » An Operational Semantics for Knowledge Bases |
159
click to vote
ACNS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
146
click to vote
IPPS
2007
IEEE
16 years 24 days ago
2007
IEEE
One way to address the continuing performance problem of high-level domain-specific languages, such as Octave or MATLAB, is to compile them to a relatively lower level language f...
191
click to vote
EMSOFT
2007
Springer
16 years 20 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
184
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. The task of similarity search in multimedia databases is usually accomplished by range or k nearest neighbor queries. However, the expressing power of these "single-...
171
click to vote
3DPVT
2004
IEEE
15 years 10 months ago
2004
IEEE
Many model editing operations, such as morphing, blending, and shape deformation, require the ability to interactively transform the surface of a model in response to some control...