7065 search results - page 1124 / 1413 » Iterative Scheduling Algorithms |
201
click to vote
ATVA
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
176
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
Simulated binary crossover (SBX) is a real-parameter recombination operator which is commonly used in the evolutionary algorithm (EA) literature. The operator involves a parameter...
201
click to vote
ROBOCUP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
196
click to vote
SSD
2007
Springer
16 years 24 days ago
2007
Springer
With the increasing availability of spatial data in many applications, spatial clustering and outlier detection has received a lot of attention in the database and data mining comm...
198
click to vote
IDEAS
2006
IEEE
16 years 21 days ago
2006
IEEE
Sequential pattern mining is very important because it is the basis of many applications. Yet how to efficiently implement the mining is difficult due to the inherent characteri...