6562 search results - page 1039 / 1313 » Noetherianity and Combination Problems |
149
click to vote
VRML
1998
ACM
15 years 11 months ago
1998
ACM
This paper describes an application of VRML-based multimedia to the domain of spatial cognition experiments. Typically, such experiments involve human subjects that are presented ...
141
Voted
GCB
1998
Springer
15 years 11 months ago
1998
Springer
The leucine zipper is a dimerization domain occurring mostly in regulatory and thus in many oncogenic proteins. The leucine repeat in the sequence has been traditionally used for ...
154
click to vote
IH
1998
Springer
15 years 11 months ago
1998
Springer
Advanced CAD tools and high-density VLSI technologies have combined to create a new market for reusable digital designs. The economic viability of the new core-based design paradig...
165
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
150
click to vote
MFCS
1998
Springer
15 years 11 months ago
1998
Springer
In this paper we consider the problem of characterizing optimal variable orderings for shared OBDDs of two Boolean functions fi = gi i hi, i = 1, 2, where i is an operator from th...