4401 search results - page 832 / 881 » Computing with Default Logic |
145
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Generally progressive procedural content in the context of 3D scene rendering is expressed as recursive functions where a finer level of detail gets computed on demand. Typical e...
123
Voted
STACS
2001
Springer
15 years 7 months ago
2001
Springer
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
132
Voted
PADS
1999
ACM
15 years 7 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
136
Voted
DIS
1999
Springer
15 years 7 months ago
1999
Springer
After two decades of research on automated discovery, many principles are shaping up as a foundation of discovery science. In this paper we view discovery science as automation of ...
118
Voted
HPDC
1998
IEEE
15 years 7 months ago
1998
IEEE
Development of portable network-aware applications demands an interface to the network that allows an application to obtain information about its execution environment. This paper...