Sciweavers

505 search results - page 43 / 101
» FACETS
Sort
View
107
Voted
RULEML
2010
Springer
15 years 29 days ago
Norm Compliance in Business Process Modeling
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
Guido Governatori, Antonino Rotolo
CORR
2010
Springer
65views Education» more  CORR 2010»
14 years 12 months ago
A Note on Solid Coloring of Pure Simplicial Complexes
We establish a simple generalization of a known result in the plane. The simplices in any pure simplicial complex in Rd may be colored with d+1 colors so that no two simplices tha...
Joseph O'Rourke
105
Voted
INFORMS
2010
100views more  INFORMS 2010»
14 years 11 months ago
Two-Step MIR Inequalities for Mixed Integer Programs
Two-step MIR inequalities are valid inequalities derived from a facet of a simple mixedinteger set with three variables and one constraint. In this paper we investigate how to eff...
Sanjeeb Dash, Marcos Goycoolea, Oktay Günl&uu...
144
Voted
CAD
2011
Springer
14 years 9 months ago
Smooth Bi-3 spline surfaces with fewest knots
Converting a quadrilateral input mesh into a C1 surface with one bi-3 tensorproduct spline patch per facet is a classical challenge. We give explicit local averaging formulas for ...
Jianhua Fan, Jörg Peters
WWW
2011
ACM
14 years 9 months ago
Blognoon: exploring a topic in the blogosphere
We demonstrate Blognoon, a semantic blog search engine with the focus on topic exploration and navigation. Blognoon provides concept search instead of traditional keywords search ...
Maria P. Grineva, Maxim Grinev, Dmitry Lizorkin, A...