16616 search results - page 322 / 3324 » Extending Extended Vacuity |
193
click to vote
PLDI
2011
ACM
14 years 9 months ago
2011
ACM
Programming language design benefits from constructs for extending the syntax and semantics of a host language. While C’s stringbased macros empower programmers to introduce no...
268
click to vote
RSFDGRC
2011
Springer
14 years 9 months ago
2011
Springer
Interval computations estimate the uncertainty of the result of data processing in situations in which we only know the upper bounds ∆ on the measurement errors. In interval comp...
318
click to vote
ASUNAM
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—In this paper we introduce a new model to represent an interconnected network of networks. This model is fundamental to reason about the real organization of on-line soc...
192
click to vote
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
14 years 6 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
250
click to vote
ICA
2012
Springer
14 years 2 months ago
2012
Springer
We consider the Independent Subspace Analysis problem from the point of view of contrast functions, showing that contrast functions are able to partially solve the ISA problem. Tha...