3618 search results - page 193 / 724 » Additive functions for number systems in function fields |
145
click to vote
ENTCS
2002
15 years 6 months ago
2002
The HM(X) framework is a constraint-based type framework with built-in letpolymorphism. This paper establishes purely syntactic type soundness for the framework, treating an exten...
156
Voted
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Network reconstruction, i.e. obtaining network structure from input-output information, is a central theme in systems biology. A variety of approaches aim to obtaining structur...
187
click to vote
ICALP
2001
Springer
15 years 11 months ago
2001
Springer
We consider the problem of enumerating all minimal integer solutions of a monotone system of linear inequalities. We first show that for any monotone system of r linear inequaliti...
214
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
This demo presents Sindbad; a location-based social networking system. Sindbad supports three new services beyond traditional social networking services, namely, location-aware ne...
168
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
The Gaussian approximation is known to be quite accurate for estimating the system performance of an optically pre–amplified on-off keying (OOK) system in the presence of multipl...