: Physical and informational works are strongly interrelated in a business process. This facilitates modeling a business process as an integral part of a closed loop information an...
We describe a language-independent and speciļ¬cationdriven program rendering tool that is able to produce highquality code renderings of arbitrary complexity. The tool can incorp...
Christian S. Collberg, Sean Davey, Todd A. Proebst...
In this paper, we present a near ML-achieving sphere decoding algorithm that reduces the number of search operations in the sphere-constrained search. Specifically, by adding a pro...
The World Wide Web has become an invaluable information resource but the explosion of available information has made web search a time consuming and complex process. The large num...
Victor R. Lesser, Bryan Horling, Frank Klassner, A...
We investigate the temporal extension of the description logic DL-Lite(RN ) bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and...
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...