3044 search results - page 379 / 609 » Linear logical approximations |
177
click to vote
ESWS
2005
Springer
16 years 5 days ago
2005
Springer
Recent advances in e-learning techonologies and web services make realistic the idea that courseware for personalized e-learning can be built by dynamic composition of distributed ...
180
click to vote
PPDP
2005
Springer
16 years 4 days ago
2005
Springer
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
187
click to vote
NPAR
2004
ACM
16 years 2 days ago
2004
ACM
We present a method to aid in the generation of pen-and-ink style renderings of complex geometry. Most illustration algorithms focus on rendering a small number of surfaces with a...
158
click to vote
RIDE
2002
IEEE
15 years 11 months ago
2002
IEEE
Structured documents, especially the XML documents, are made up of a few logical components, such as title, sections, subsections and paragraphs. The components in each structured...
155
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
We study a new placement problem: the reproducing placement problem (RPP). In each phase a module (or gate) is decomposed into two (or more) simpler modules. The goal is nd a \go...