10392 search results - page 437 / 2079 » Introduction to Computer Science |
231
click to vote
FOCS
1991
IEEE
15 years 11 months ago
1991
IEEE
For sums of radicals Pk i=1 i di p i, where i; i are elements of some real algebraic number eld Q( ); di p i 2 R; we present a deterministic polynomial time algorithm to decide wh...
174
click to vote
CAD
2008
Springer
15 years 7 months ago
2008
Springer
Curves on surfaces play an important role in computer-aided geometric design. Because of the considerably high degree of exact curves on surfaces, approximation algorithms are pre...
210
click to vote
TCS
2010
15 years 5 months ago
2010
We present some decidability and undecidability results for subsets of the BlenX Language, a process-calculi-based programming language developed for modelling biological processe...
165
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes the human computer interface of a new emergency medical services application, which uses several emerging technologies to clarify the inherent complexity and ...
252
click to vote
CSCW
1992
ACM
15 years 11 months ago
1992
ACM
A system that allows people to simultaneously modify a common design in a graphically rich environment was developed to identify and examine groupware interface issues unique to t...