3552 search results - page 416 / 711 » Proof theory in the abstract |
185
click to vote
ALIFE
2002
15 years 6 months ago
2002
nized according to abstract classificatory principles..."5 Adorno's point was that 1 Adorno, T.W., Dahrendorf, R., Pilot, H., Albert, H., Habermas, J. and Popper, K.:The ...
149
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...
177
click to vote
IOR
2002
15 years 6 months ago
2002
Then these analytically motivated abstractions were gradually made more intricate as the body of mathematical techniques grew. The trend went from elementary analysis of complex, i...
174
click to vote
FUIN
2008
15 years 5 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
177
click to vote
IFIPTM
2010
15 years 5 months ago
2010
Abstract. Location-dependent services are services that adapt their behavior based on the locations of mobile devices. For many applications, it is critical that location-dependent...