5962 search results - page 124 / 1193 » Working with Patterns and Code |
124
click to vote
JOT
2008
15 years 3 months ago
2008
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...
117
Voted
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
118
click to vote
ICECCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...
145
click to vote
TAL
2010
Springer
15 years 1 months ago
2010
Springer
Answering email by standard answers is a common practice at contact centers. Our research assists this process by creating reply messages that contain one or several standard answe...
ACL
2009
15 years 1 months ago
2009
The abundance of homophones in Chinese significantly increases the number of similarly acceptable candidates in English-to-Chinese transliteration (E2C). The dialectal factor also...