Continental Pronto unifies high availability and disaster resilience at the specification and implementation levels. At the specification level, Continental Pronto formalizes the client's view of a sy...
Advances in automatic speech recognition allow us to search large speech collections using traditional information retrieval methods. The problem of "aboutness" for documents --- is a document about a...
Advances in automatic speech recognition allow us to search large speech collections using traditional information retrieval methods. The problem of "aboutness" for documents --- is a document about a...
Events and worlds, as employed in Condoravdi 2002 for a temporal interpretation of modals, are analyzed as schedules of eventuality-types. Sets of schedules that provide a basis for context change int...