Consumerism – it works, bitches! New Britney swag enroute. It’s like an advent calendar that doesn’t suck! I also just got the shipping notification for my Britney Femme Fatale Tour DVD and Blu-ray. Sweet! […]
Amazon Recommendations are Funny
Sometimes, Amazon provides very amusing recommendations… […]
Strongly Connected Components in Declarative Models
Yesterday, I wrote about the colored automaton implementation in Declare including mentioning that it is now possible to export such automata directly from within the Designer. Today, I’ve optimized the output, so it now is possible to reduce the printout by exploiting strongly connected components. The first change is that strongly connected components are grouped together […]
Read More… from Strongly Connected Components in Declarative Models
German Siri is NOT German
Siri is mostly useless except for setting alarms… I tested the German version and must conclude: German Siri is not German. […]
Colored Automata in Declare
I just finished the implementation of colored automata in Declare. The formal foundation is described in [bibtex order=asc file=conferences.bib key=colored-automata] The idea is that normally we construct an automaton accepting only all valid executions. Assume we look at the model: The model says that “if you are bored, you should go to a concert” (the […]
Sometimes…
Sometimes you just have to go with your heart… Hence this code: Yes, evidently, today is going to be a “Michael posts snippets of code that amuse him”-day. Think of it as open source and celebrate by hitting people in your office (unless your first name is Dirk). […]