203 search results - page 1 / 41 » Exponentiable morphisms of domains |
MSCS
2008
13 years 5 months ago
2008
ICTAC
2005
Springer
13 years 11 months ago
2005
Springer
Coalgebras provide effective models of data structures and state-transition systems. A virtual covariety is a class of coalgebras closed under coproducts, images of coalgebraic mo...
FASE
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, e...
BIRTHDAY
2008
Springer
13 years 7 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
AAAI
2012
11 years 8 months ago
2012
We present the first real-world benchmark for sequentiallyoptimal team formation, working within the framework of a class of online football prediction games known as Fantasy Foo...