3233 search results - page 529 / 647 » Rule Modeling and Markup |
144
Voted
WSC
2007
15 years 7 months ago
2007
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
142
Voted
WSC
2008
15 years 7 months ago
2008
Scheduling is one of the key factors for semiconductor fabrication productivity. Objectives like lot cycle time and throughput must be optimized to push the technological developm...
142
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
148
click to vote
ESEM
2007
ACM
15 years 6 months ago
2007
ACM
Can we predict locations of future refactoring based on the development history? In an empirical study of open source projects we found that attributes of software evolution data ...
137
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...