Sciweavers

579 search results - page 30 / 116
» Constraint Validation in Model Compilers
Sort
View
147
Voted
CVPR
2008
IEEE
16 years 4 months ago
Learning Bayesian Networks with qualitative constraints
Graphical models such as Bayesian Networks (BNs) are being increasingly applied to various computer vision problems. One bottleneck in using BN is that learning the BN model param...
Yan Tong, Qiang Ji
119
Voted
CPAIOR
2004
Springer
15 years 6 months ago
Building Models through Formal Specification
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
Gerrit Renker, Hatem Ahriz
127
Voted
AOSD
2007
ACM
15 years 6 months ago
A machine code model for efficient advice dispatch
The primary implementations of AspectJ to date are based on a compile- or load-time weaving process that produces Java byte code. Although this implementation strategy has been cr...
Ryan M. Golbeck, Gregor Kiczales
137
Voted
EPIA
2003
Springer
15 years 7 months ago
jcc: Integrating Timed Default Concurrent Constraint Programming into Java
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
117
Voted
ICPR
2010
IEEE
15 years 15 days ago
A Recursive and Model-Constrained Region Splitting Algorithm for Cell Clump Decomposition
Decomposition of cells in clumps is a difficult segmentation task requiring region splitting techniques. Techniques that do not employ prior shape constraints usually fail to achi...
Wei Xiong, Sim Heng Ong, Joo-Hwee Lim