6358 search results - page 844 / 1272 » Computing spectral sequences |
170
click to vote
LAWEB
2003
IEEE
16 years 4 days ago
2003
IEEE
CSCL software tools must provide support for group work and should be based on a collaborative learning technique. The PBL based CCCuento tool is introduced here. It is intended t...
189
click to vote
LICS
2003
IEEE
16 years 4 days ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
196
click to vote
PG
2003
IEEE
16 years 4 days ago
2003
IEEE
In this paper, we will show how non-photorealistic rendering (NPR) can take a new role in content-based image retrieval (CBIR). We propose a content-based image retrieval method. ...
170
click to vote
SBACPAD
2003
IEEE
16 years 4 days ago
2003
IEEE
Trace reuse improves the performance of processors by skipping the execution of sequences of redundant instructions. However, many reusable traces do not have all of their inputs ...
150
click to vote
JCDL
2003
ACM
16 years 4 days ago
2003
ACM
Can digital libraries provide a reading experience that more closely resembles a real book than a scrolled or paginated electronic display? This paper describes a prototype page-t...