11345 search results - page 2068 / 2269 » Foundations of Computer Science |
117
click to vote
AEI
2000
15 years 2 months ago
2000
This paper presents a neural network approach with successful implementation for the robot task-sequencing problem. The problem addresses the sequencing of tasks comprising loadin...
119
click to vote
CONCURRENCY
2002
15 years 2 months ago
2002
Computational science portals are emerging as useful and necessary interfaces for performing operations on the Grid. The Grid Portal Development Kit (GPDK) facilitates the develop...
132
click to vote
EATCS
2000
15 years 2 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...
113
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
It is widely accepted that (1) the natural or folded state of proteins is a global energy minimum, and (2) in most cases proteins fold to a unique state determined by their amino ...
113
click to vote
ENDM
2000
15 years 2 months ago
2000
Planning and scheduling attracts an unceasing attention of computer science community. Several research areas like Artificial Intelligence, Operations Research and Constraint Prog...