2501 search results - page 69 / 501 » Logics with Rank Operators |
84
Voted
LCPC
2001
Springer
15 years 5 months ago
2001
Springer
Integer division, modulo, and remainder operations are expressive and useful operations. They are logical candidates to express complex data accesses such as the wrap-around behav...
TYPES
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...
113
Voted
ISCA
2000
IEEE
15 years 4 months ago
2000
IEEE
Vector instruction sets are receiving renewed interest because of their applicability to multimedia. Current multimedia instruction sets use short vectors with SIMD implementation...
81
Voted
CONEXT
2009
ACM
15 years 1 months ago
2009
ACM
The lack of automation associated with network operations in general and network configuration management in particular, is widely recognized as a significant contributing factor ...
139
Voted
DLOG
2009
14 years 10 months ago
2009
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either aut...