1705 search results - page 275 / 341 » Representing Constraints with Automata |
115
Voted
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we present 3D offline path planner for Unmanned Aerial Vehicles (UAVs) using Multiobjective Evolutionary Algorithms for finding solutions corresponding to conflictin...
120
Voted
CHI
2007
ACM
15 years 4 months ago
2007
ACM
A prototype of computing technology--as a means to evaluate and communicate a good idea--is often an essential step towards useful, shipping products and towards a deeper understa...
112
Voted
EDOC
2009
IEEE
15 years 4 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
104
Voted
FROCOS
2009
Springer
15 years 4 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...
131
Voted
CAISE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...