5550 search results - page 661 / 1110 » Different Approaches to Proof Systems |
211
click to vote
IPPS
2002
IEEE
16 years 3 days ago
2002
IEEE
The real-time scheduling advisor (RTSA) is an entirely userlevel system that an application running on a typical shared, unreserved distributed computing environment can turn to f...
175
click to vote
KBSE
2002
IEEE
16 years 2 days ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
209
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Automatically generating Conceptual Graphs (CGs) [1] from natural language sentences is a difficult task in using CG as a semantic (knowledge) representation language for natural l...
208
click to vote
GECCO
2000
Springer
15 years 10 months ago
2000
Springer
This paper discusses the issues that arise in the design and implementation of an industrialstrength evolutionary-based system for the optimization of the monthly work schedules f...
213
click to vote
BIRD
2008
Springer
15 years 9 months ago
2008
Springer
Our group has previously used machine learning techniques to develop computational systems to automatically analyse fluorescence microscope images and classify the location of the ...