716 search results - page 85 / 144 » Semilinear Program Feasibility |
103
click to vote
RTSS
2002
IEEE
15 years 2 months ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
TOOLS
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
GECCO
2007
Springer
15 years 1 months ago
2007
Springer
The development of coherent and dynamic behaviors for mobile robots is an exceedingly complex endeavor ruled by task objectives, environmental dynamics and the interactions within...
GECCO
2006
Springer
15 years 1 months ago
2006
Springer
Trading rules are widely used by practitioners as an effective means to mechanize aspects of their reasoning about stock price trends. However, due to the simplicity of these rule...