13618 search results - page 27 / 2724 » The Newton Operating System |
120
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
This paper presents a new instructional operating system, OS/161, and simulated execution environment, System/161, for use in teaching an introductory undergraduate operating syst...
CP
2007
Springer
15 years 8 months ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
112
click to vote
SMA
2003
ACM
15 years 7 months ago
2003
ACM
In this paper we present a new algorithm for solving the data dependent fairing problem for subdivision surfaces, using Catmull-Clark surfaces as an example. Earlier approaches to...
HOTOS
2009
IEEE
15 years 5 months ago
2009
IEEE
:
122
click to vote
BIRTHDAY
2009
Springer
14 years 11 months ago
2009
Springer
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...