1021 search results - page 42 / 205 » Concepts in Proof Planning |
159
click to vote
PDSE
2000
15 years 7 months ago
2000
The aim of this paper is to describe a generic interface through which a planning tool or design aid can be connected to a telecommunications network. In today's complex and ...
139
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
250
click to vote
CCE
2007
15 years 7 months ago
2007
: The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...
150
click to vote
IAAI
2001
15 years 7 months ago
2001
Due to military drawdowns and the need for additional transportation lift requirements, the US MARINE CORPS developed a concept wherein they had modified a commercial container sh...
146
click to vote
IJCAI
2003
15 years 7 months ago
2003
Efficient implementations of DPLL with the addition of clause learning are the fastest complete satisfiability solvers and can handle many significant real-world problems, such as...