1032 search results - page 62 / 207 » A Category of Explicit Fusions |
SACMAT
2006
ACM
14 years 1 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
EEE
2005
IEEE
14 years 1 months ago
2005
IEEE
Generic web search is designed to serve all users, independent of the individual needs and without any adaptation to personal requirements. We propose a novel technique1 that perf...
ISIPTA
2005
IEEE
14 years 1 months ago
2005
IEEE
A new model for learning from multinomial data has recently been developed, giving predictive inferences in the form of lower and upper probabilities for a future observation. Apa...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
ICAIL
2005
ACM
14 years 1 months ago
2005
ACM
Computational law is an approach to automated legal reasoning focusing on semantically rich laws, regulations, contract terms, and business rules in the context of electronicallym...