10996 search results - page 220 / 2200 » Future Directions in Computing |
157
click to vote
VL
2005
IEEE
16 years 2 days ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
163
click to vote
CONTEXT
2005
Springer
16 years 1 days ago
2005
Springer
While interacting with other users in dynamic use contexts, one often aims at coordinating activities as events unfold. Such coordination can often be unplanned or impromptu. There...
169
click to vote
EUROPAR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe a consistent splitting approach to the pressurestabilized Petrov-Galerkin finite element method for incompressible flow. The splitting leads to (almost) exp...
157
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
164
click to vote
ASSETS
1998
ACM
15 years 10 months ago
1998
ACM
We describe the speech-enabling approach to building auditory interfaces that treat speech as a first-class modality. The process of designing effective auditory interfaces is de...