3119 search results - page 387 / 624 » General Default Logic |
149
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
In the paper we describe the problem of grouping and aggregation in the concept-oriented data model. The model is based on ordering its elements within a hierarchical multidimensi...
175
click to vote
GLVLSI
2005
IEEE
16 years 7 days ago
2005
IEEE
This paper describes a SPICE model development methodology for Quantum-Dot Cellular Automata (QCA) cells and presents a SPICE model for QCA cells. The model is validated by simula...
160
click to vote
KCAP
2005
ACM
16 years 5 days ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...
159
click to vote
STORAGESS
2005
ACM
16 years 5 days ago
2005
ACM
Database outsourcing is becoming increasingly popular introducing a new paradigm, called database-as-a-service (DAS), where an organization’s database is stored at an external s...
180
click to vote
TLDI
2005
ACM
16 years 5 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...