9626 search results - page 490 / 1926 » Invariant Based Programming |
156
click to vote
ACE
2003
15 years 8 months ago
2003
We describe our criterion-referenced grading scheme for a first year programming subject, which has been designed to allow all participating students to achieve their full potenti...
148
click to vote
FLAIRS
1998
15 years 8 months ago
1998
In this papera newoperatorfor agent's implicit belief revisionis presented.Thisoperatoris conceptually based on the following requirement:anagent should find first anexplanat...
161
click to vote
SODA
1998
ACM
15 years 8 months ago
1998
ACM
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
169
click to vote
IJCAI
1989
15 years 8 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
186
click to vote
DEXAW
2009
IEEE
15 years 8 months ago
2009
IEEE
Although information sharing in supply chain management dramatically reduces costs, parties are reluctant to do so, mainly due to fear of information leakage. Solutions based on se...