7139 search results - page 841 / 1428 » Language Engineering in Practice |
164
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
189
click to vote
ALENEX
2007
15 years 8 months ago
2007
Inverted index data structures are the key to fast search engines. The predominant operation on inverted indices asks for intersecting two sorted lists of document IDs which might...
206
click to vote
CCE
2007
15 years 8 months ago
2007
: Product data, information and knowledge are the core ICT resources for collaborative design. This paper describes five different approaches to exchanging and sharing product data...
140
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have...
166
click to vote
EUSFLAT
2007
15 years 8 months ago
2007
Fuzzy arithmetic is a powerful tool in many engineering problems such as decision making, control theory, fuzzy systems and approximate reasoning. However, it is well known that t...