Sciweavers

8109 search results - page 1101 / 1622
» A Model of Component-Based Programming
Sort
View
DSS
2006
95views more  DSS 2006»
15 years 7 months ago
On the computability of agent-based workflows
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines...
Wai Yin Mok, Prashant Palvia, David Paper
ENTCS
2006
151views more  ENTCS 2006»
15 years 7 months ago
Extending C for Checking Shape Safety
The project Safe Pointers by Graph Transformation at the University of York has developed a method for specifying the shape of pointer-data structures by graph reduction, and a st...
Mike Dodds, Detlef Plump
ISCI
2008
96views more  ISCI 2008»
15 years 7 months ago
Fuzzy age-dependent replacement policy and SPSA algorithm based-on fuzzy simulation
An increase in the performance of deteriorating systems can be achieved through the adoption of suitable maintenance policies. One of the most popular maintenance policies is the ...
Jiashun Zhang, Ruiqing Zhao, Wansheng Tang
ML
2006
ACM
131views Machine Learning» more  ML 2006»
15 years 7 months ago
Markov logic networks
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
Matthew Richardson, Pedro Domingos
IJON
2007
114views more  IJON 2007»
15 years 7 months ago
Ridgelet kernel regression
In this paper, a ridgelet kernel regression model is proposed for approximation of high dimensional functions. It is based on ridgelet theory, kernel and regularization technology ...
Shuyuan Yang, Min Wang, Licheng Jiao
« Prev « First page 1101 / 1622 Last » Next »