Sciweavers

709 search results - page 42 / 142
» An Equational Theory for Transactions
Sort
View
ICAIL
2005
ACM
15 years 4 months ago
Computational Law
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...
Nathaniel Love, Michael R. Genesereth
HICSS
2002
IEEE
91views Biometrics» more  HICSS 2002»
15 years 4 months ago
The Planet Method for Designing Relationships in B2B E-commerce
Business to Business (B2B) relationships in Ecommerce are becoming increasingly important. However, there is little guidance available for managers about how relationships should ...
Alistair G. Sutcliffe, Norma Lammont
DCG
2006
90views more  DCG 2006»
14 years 11 months ago
Combinatorial Complexity of Convex Sequences
We show that the equation si1 + si2 +
Alex Iosevich, S. Konyagin, Michael Rudnev, V. Ten
EUROGP
2001
Springer
110views Optimization» more  EUROGP 2001»
15 years 3 months ago
General Schema Theory for Genetic Programming with Subtree-Swapping Crossover
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...
Riccardo Poli
IDEAS
2009
IEEE
111views Database» more  IDEAS 2009»
15 years 6 months ago
Semantics of a runtime adaptable transaction manager
Database Management Systems (DBMSs) that can be tailored to specific requirements offer the potential to improve reliability and maintainability and simultaneously the ability t...
Florian Irmert, Frank Lauterwald, Christoph P. Neu...