3317 search results - page 93 / 664 » Strategies in Rigid-Variable Methods |
143
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Debugging is an important prerequisite for the wide-spread application of ontologies, especially in areas that rely upon everyday users to create and maintain knowledge b...
128
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
This paper presents a portable, efficient method for accessing memory resident persistent objects in virtual memory in the context of the E programming language. Under the approac...
295
click to vote
Tutorial
This article discusses strategies for improving the speed of Matlab code. Keep in mind that speed depends heavily on the computation platform and that the fastest method on one sys...
142
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper introduces a new SAT solver that integrates logicbased reasoning and integer programming methods to systems of CNF and PB constraints. Its novel features include an eff...
116
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents a strategy for the systematic development of dynamic web applications. The proposal extends an existing OO software production method introducing navi...