149 search results - page 22 / 30 » A realizability interpretation for classical analysis |
185
click to vote
ICDAR
2005
IEEE
15 years 11 months ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
160
click to vote
NIPS
2001
15 years 7 months ago
2001
In many scientific and engineering applications, detecting and understanding differences between two groups of examples can be reduced to a classical problem of training a classif...
183
click to vote
CDC
2010
IEEE
15 years 29 days ago
2010
IEEE
This research concerns a noncooperative dynamic game with large number of oscillators. The states are interpreted as the phase angles for a collection of non-homogeneous oscillator...
180
click to vote
TLCA
2009
Springer
16 years 15 days ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
155
click to vote
EMISA
2006
Springer
15 years 9 months ago
2006
Springer
: Nowadays businesses often decide to form networked value constellations in order to satisfy complex customer needs. To fulfill the value-based requirements of an e-Business idea ...