3353 search results - page 430 / 671 » Laver and set theory |
179
click to vote
BIRTHDAY
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
153
click to vote
CHES
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. It has recently been shown that logic circuits in the implementation of cryptographic algorithms, although protected by “secure” random masking schemes, leak side-cha...
186
click to vote
COCOON
2005
Springer
16 years 6 days ago
2005
Springer
To monitor an electric power system by placing as few phase measurement units (PMUs) as possible is closely related to the famous vertex cover problem and domination problem in gr...
183
click to vote
DAGM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We consider the classification problem on a finite set of objects. Some of them are labeled, and the task is to predict the labels of the remaining unlabeled ones. Such...
162
click to vote
SEMWEB
2005
Springer
16 years 4 days ago
2005
Springer
This paper extends the model theory of RDF with rules, placing an emphasis on integration with OWL and decidability of entailstart from an abstract syntax that views a rule as a pa...