1763 search results - page 12 / 353 » A Formalization of Polytime Functions |
ICTAC
2005
Springer
14 years 3 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer
Valued Abstraction Oleg Rokhlenko Joint work with Eli Arbel and Karen Yorav IBM Haifa Research Labs
CAV
2009
Springer
14 years 10 months ago
2009
Springer
ISIM
2007
13 years 11 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
SIGMOD
2011
ACM
13 years 26 days ago
2011
ACM
Ranking queries report the top-K results according to a user-defined scoring function. A widely used scoring function is the weighted summation of multiple scores. Often times, u...