8109 search results - page 487 / 1622 » A Model of Component-Based Programming |
185
click to vote
WSC
2007
15 years 10 months ago
2007
This paper addresses several issues of using the mathematical programming representations of discrete-event dynamic systems in perturbation analysis. In particular, linear program...
192
click to vote
ACL
2007
15 years 9 months ago
2007
We present a formalization of dependency labeling with Integer Linear Programming. We focus on the integration of subcategorization into the decision making process, where the var...
194
click to vote
WSC
2004
15 years 9 months ago
2004
This tutorial will focus on several new real-world applications that have been developed using an integrated set of methods, including Tabu Search, Scatter Search, Mixed Integer P...
152
click to vote
MSCS
2008
15 years 7 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
223
click to vote
SEMWEB
2010
Springer
15 years 5 months ago
2010
Springer
The Semantic Web graph is growing at an incredible pace, enabling opportunities to discover new knowledge by interlinking and analyzing previously unconnected data sets. This confr...