Sciweavers

2062 search results - page 283 / 413
» Derivatives of Logical Formulas
Sort
View
SCCC
1997
IEEE
15 years 10 months ago
Reactive Ranking for Cooperative Databases
A cooperative database allows the user to specify approximate or vague query conditions. A vague query requires the database system to rank the retrieved answers according to thei...
Berthier A. Ribeiro-Neto, Guilherme T. de Assis
SIGGRAPH
1994
ACM
15 years 10 months ago
The irradiance Jacobian for partially occluded polyhedral sources
The irradiance at a point on a surface due to a polyhedral source of uniform brightness is given by a well-known analytic formula. In this paper we derive the corresponding analyt...
James Arvo
FLAIRS
2004
15 years 7 months ago
Reasoning on Spatial Constraints over Regions
We discuss description and reasoning over regions. We have proposed a system called SRCC that integrates integration of spatial and semantic data. SRCC can describe and reason abo...
Kazuko Takahashi
WSC
2004
15 years 7 months ago
Make-to-Stock Systems with Backorders: IPA Gradients
We consider single-stage, single-product Make-to-Stock systems with random demand and random service (production) rate, where demand shortages at the inventory facility are backor...
Yao Zhao, Benjamin Melamed
ATMN
1997
15 years 7 months ago
The Correlation Structure of the Output of an ATM Multiplexer
In this paper we study the correlation structure of the output process of an ATM multiplexer. We consider two special cases : (i) the output process of the D-BMAP/D/1/N queue, a g...
Chris Blondia, Floris Geerts