7213 search results - page 1042 / 1443 » Automated model grouping |
176
click to vote
ICSOC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...
191
click to vote
ILP
2007
Springer
16 years 27 days ago
2007
Springer
Bias/variance analysis is a useful tool for investigating the performance of machine learning algorithms. Conventional analysis decomposes loss into errors due to aspects of the le...
161
click to vote
LPAR
2007
Springer
16 years 27 days ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
185
click to vote
LPNMR
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
191
click to vote
3DPVT
2006
IEEE
16 years 25 days ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...