9018 search results - page 171 / 1804 » 3D-Brain Model Software |
144
click to vote
CCE
2011
14 years 6 months ago
2011
During the last 15 years, many mathematical models have been developed in order to solve process operation scheduling problems, using discrete or continuous time representations. ...
153
click to vote
FOSSACS
2011
Springer
14 years 6 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
223
click to vote
CISIS
2011
IEEE
14 years 3 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...
155
Voted
COMPSAC
2009
IEEE
15 years 1 months ago
2009
IEEE
Vast quantities of data is created by utilizing sensors to gather information from patients located in intensive care units worldwide through physiological monitoring. The service ...
245
click to vote
VLSI
2012
Springer
13 years 10 months ago
2012
Springer
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...