3047 search results - page 377 / 610 » On the Meaning of Logical Completeness |
74
Voted
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
In modern SoCs, embedded memories occupy the largest part of the chip area and include an even larger amount of active devices. As memories are designed very tightly to the limits...
74
Voted
SAINT
2003
IEEE
15 years 4 months ago
2003
IEEE
Service discovery problem has recently been drawing much attention from researchers and practitioners. Jini, SLP, and UPnP are among the few emerging service discovery protocols. ...
TLDI
2003
ACM
15 years 4 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
81
Voted
ECSQARU
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
87
Voted
ICMCS
2000
IEEE
15 years 3 months ago
2000
IEEE
In order to understand similarity between images, recent research has focused on adaptable searches [9] and fuzzy queries [4]. However, one of the best means for determining simil...