4850 search results - page 770 / 970 » Proof and Computation in Geometry |
209
click to vote
MHCI
2004
Springer
15 years 12 months ago
2004
Springer
Developing personalized applications for the ubiquitous Web assumes to provide different user interfaces addressing heterogeneous capabilities of device classes. Major problems are...
161
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
Theoretically and empirically it is clear that a genetic algorithm with crossover will outperform a genetic algorithm without crossover in some fitness landscapes, and vice versa i...
193
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
181
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting (CSR) is an example of su...
161
click to vote
ACSC
2003
IEEE
15 years 12 months ago
2003
IEEE
Graphs where each node includes an amount of text are often used in applications. A typical example of such graphs is UML diagrams used in CASE tools. To make text information in ...