16626 search results - page 212 / 3326 » Computing is a natural science |
173
click to vote
CSR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Ordering constraints are analogous to instances of the satisfiability problem in conjunctive normalform, but instead of a boolean assignment we consider a linear orderin...
185
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
162
click to vote
ESCIENCE
2006
IEEE
16 years 21 days ago
2006
IEEE
With the proliferation of Grid computing, potentially vast computational resources are available for solving complex problems in science and engineering. However, writing, deployi...
195
click to vote
IJVR
2008
15 years 6 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
171
click to vote
SIGCSE
2005
ACM
16 years 6 days ago
2005
ACM
Undergraduate computer science students have few opportunities to experience scientific investigation and computer science research. A human-computer interaction (HCI) course can ...