Sciweavers

8094 search results - page 187 / 1619
» Improvements in Formula Generalization
Sort
View
IGPL
2011
13 years 1 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski
IACR
2011
124views more  IACR 2011»
12 years 10 months ago
Group Law Computations on Jacobians of Hyperelliptic Curves
We derive an explicit method of computing the composition step in Cantor’s algorithm for group operations on Jacobians of hyperelliptic curves. Our technique is inspired by the g...
Craig Costello, Kristin Lauter
ICSEA
2009
IEEE
13 years 8 months ago
Software Process Improvement in Multimodel Environments
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...
André Ferreira, Ricardo Jorge Machado
AAAI
1994
13 years 11 months ago
GENET: A Connectionist Architecture for Solving Constraint Satisfaction Problems by Iterative Improvement
New approaches to solving constraint satisfaction problems using iterative improvement techniques have been found to be successful on certain, very large problems such as the mill...
Andrew J. Davenport, Edward P. K. Tsang, Chang J. ...
GLOBECOM
2007
IEEE
14 years 4 months ago
Opportunistic Relaying in Cellular Network for Capacity and Fairness Improvement
— In this paper, we study how the cooperative relaying can improve both capacity and fairness in cellular network. The capacity and fairness have a trade-off relationship, so inc...
Seungho Song, Kyuho Son, Hyang-Won Lee, Song Chong