3600 search results - page 330 / 720 » The settling-time reducibility ordering |
156
click to vote
SIGADA
2005
Springer
16 years 6 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
156
click to vote
WAIM
2005
Springer
16 years 6 days ago
2005
Springer
In order to lay a solid foundation for the emerging semantic web, effective and efficient management of large RDF(S) data is in high demand. In this paper we propose an approach t...
213
click to vote
ACMICEC
2004
ACM
16 years 5 days ago
2004
ACM
At the present time, the use of mobile technology in business, is becoming an opportunity to generate competitive advantages within organization environments. Mobile technology he...
181
click to vote
WIDM
2004
ACM
16 years 4 days ago
2004
ACM
Abstract. CiteSeer began as the first search engine for scientific literature to incorporate Autonomous Citation Indexing, and has since grown to be a well-used, open archive for...
179
click to vote
AMAI
2004
Springer
16 years 4 days ago
2004
Springer
We study three new techniques which will speed up the branch-and-bound algorithm for the MAX-2-SAT problem: The first technique is a new lower bound function for the algorithm an...