16091 search results - page 326 / 3219 » Solving |
157
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents an algorithmic technique based on hybridizing Symbolic Manipulation Techniques based on BDDs with more traditional Explicit solving algorithms. To validate the...
159
click to vote
ATAL
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This paper presents a general multi-agent architecture for the management of businessprocesses,and an agent designthat has been implemented within such a system. The auto...
153
click to vote
CIA
1997
Springer
15 years 10 months ago
1997
Springer
This paper critically analyse the use of active databases as an enabling technology for result sharing as defined in the DAI literature. In particular, we demostrate how ECA (Even...
165
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Increasing the efficiency of meander line antennas is an important real-world problem within radio frequency identification (RFID). Meta-heuristic search algorithms, such as ant c...
165
click to vote
ASIACRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. To prove or disprove the computational equivalence of solving the RSA problem and factoring integers is a longstanding open problem in cryptography. This paper provides s...