3618 search results - page 27 / 724 » Additive functions for number systems in function fields |
138
click to vote
ENTCS
2007
15 years 5 months ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
147
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper deals with stabilization of networked control systems (NCS) affected by uncertain time-varying delays and data packet dropouts. We point out that such network effect...
176
click to vote
WSC
2008
15 years 8 months ago
2008
Characterizing the transient behavior of queueing systems is a difficult problem, which has been addressed by either simplified analytical models or simulation. We seek to capture...
185
click to vote
ENTCS
2002
15 years 5 months ago
2002
We present a declarative debugger for lazy functional logic programs with polymorphic type discipline. Whenever a computed answer is considered wrong by the user (error symptom), ...
159
click to vote
MSS
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...