5456 search results - page 1047 / 1092 » A study of Object Evolution |
115
Voted
CP
2004
Springer
15 years 8 months ago
2004
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to solve planning and scheduling problems. Tasks are allocated to facilities using MILP and sche...
123
Voted
ESA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Classical network flow theory allows decomposition of flow into several chunks of arbitrary sizes traveling through the network on different paths. In the first part ...
150
click to vote
DSN
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper combines an analysis of data on security vulnerabilities (published in Bugtraq database) and a focused source-code examination to develop a finite state machine (FSM) m...
120
Voted
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
— This paper presents an underactuated artificial hand intended for functional replacement of the natural hand in upper limb amputees. The natural hand has three basic functiona...
142
click to vote
WCRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...