8094 search results - page 348 / 1619 » Improvements in Formula Generalization |
146
click to vote
SEMWEB
2009
Springer
16 years 21 days ago
2009
Springer
Spreadsheet tools are often used in business and private scenarios in order to collect and store data, and to explore and analyze these data by executing functions and aggregation...
186
click to vote
SMA
2009
ACM
16 years 20 days ago
2009
ACM
In this paper, we describe an algorithm for generating an exact rational envelope of a two-parameter family of spheres given by a quadratic patch in R3,1 , which is considered as ...
164
click to vote
HYBRID
2010
Springer
16 years 19 days ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
161
click to vote
CISS
2008
IEEE
16 years 19 days ago
2008
IEEE
— In this paper we consider a K transmitter and K receiver single-hop wireless network. We obtain a rate control policy that provides proportional fair rate allocation to the tra...
150
click to vote
DSN
2008
IEEE
16 years 19 days ago
2008
IEEE
Internet Threat Monitoring (ITM) systems are a widely deployed facility to detect, analyze, and characterize dangerous Internet threats such as worms and distributed denial-of-ser...