Sciweavers

5203 search results - page 675 / 1041
» An approach to workflow modeling and analysis
Sort
View
ISTA
2003
15 years 8 months ago
Managing Business Logic with Symbolic Computation
: A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic ...
Ruslan Shevchenko, Anatoly E. Doroshenko
KES
2006
Springer
15 years 6 months ago
A Framework for distributed knowledge management in autonomous logistic processes
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
Hagen Langer, Jan D. Gehrke, Joachim Hammer, Marti...
ICCV
2007
IEEE
16 years 8 months ago
Penrose Pixels Super-Resolution in the Detector Layout Domain
We present a novel approach to reconstruction based superresolution that explicitly models the detector's pixel layout. Pixels in our model can vary in shape and size, and th...
Moshe Ben-Ezra, Zhouchen Lin, Bennett Wilburn
DATE
2008
IEEE
122views Hardware» more  DATE 2008»
16 years 1 months ago
Simulation-Directed Invariant Mining for Software Verification
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
Xueqi Cheng, Michael S. Hsiao
177
Voted
EMNLP
2008
15 years 8 months ago
Bayesian Unsupervised Topic Segmentation
This paper describes a novel Bayesian approach to unsupervised topic segmentation. Unsupervised systems for this task are driven by lexical cohesion: the tendency of wellformed se...
Jacob Eisenstein, Regina Barzilay