3690 search results - page 387 / 738 » Computation with classical sequents |
184
click to vote
ACSC
2005
IEEE
16 years 14 days ago
2005
IEEE
We introduce a new approach to computing interprocedural modification side effects for Java programs in the presence of dynamic class loading. When compile-time unknown classes c...
176
click to vote
SIBGRAPI
2005
IEEE
16 years 13 days ago
2005
IEEE
The design of W-operators from a set of input/output examples for large windows is a hard problem. From the statistical standpoint, it is hard because of the large number of examp...
182
click to vote
SI3D
2005
ACM
16 years 12 days ago
2005
ACM
The simulation of large crowds of humans is important in many fields of computer graphics, including real-time applications such as games, as they can breathe life into otherwise...
200
click to vote
FCT
2005
Springer
16 years 9 days ago
2005
Springer
We present several results on the complexity of various forms of Sperner’s Lemma in the black-box model of computing. We give a deterministic algorithm for Sperner problems over ...
166
click to vote
GRID
2004
Springer
16 years 7 days ago
2004
Springer
Scientists have long relied on abstract models to study phenomena that are too complex for direct observation and experimentation. As new scientific modeling methodologies emerge...