2152 search results - page 221 / 431 » On Automating the Calculus of Relations |
164
click to vote
IANDC
2006
15 years 6 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
164
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a near real-time multilingual news monitoring and analysis system that forms the backbone of our research work. The system integrates technologies to address t...
163
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
—The increasing automation of business processes is one of the main benefits of the ongoing technological evolution. Regarding e-invoices this automation process is still not op...
184
click to vote
SARA
2009
Springer
16 years 1 months ago
2009
Springer
Tailoring solver-independent constraint instances to target solvers is an important component of automated constraint modelling. We augment the tailoring process by a set of enhan...
194
click to vote
WECWIS
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...