5550 search results - page 556 / 1110 » Different Approaches to Proof Systems |
177
Voted
ICSM
2005
IEEE
16 years 1 months ago
2005
IEEE
While often defined in informal ways, software cohesion reflects important properties of modules in a software system. Cohesion measurement has been used for quality assessment, f...
181
Voted
CCIA
2005
Springer
16 years 29 days ago
2005
Springer
One of the main keys in case-based reasoning system is the retrieval phase, where the most similar cases are retrieved by means of a similarity function. According to the problem, ...
178
click to vote
HICSS
2003
IEEE
16 years 22 days ago
2003
IEEE
There exists a very diverse range of views and perceptions about KM and a need to appreciate these issues and concerns among different communities of knowledge workers. Our resear...
203
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a hybrid technique that combines List Scheduling (LS) with Genetic Algorithms (GA) for constructing non-preemptive schedules for soft real-time parallel applic...
219
click to vote
AIPR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes an approach for using several levels of data fusion in the domain of autonomous off-road navigation. We are focusing on outdoor obstacle detection, and we pre...