19587 search results - page 3826 / 3918 » Systems Engineering for software Engineers |
102
click to vote
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Air traffic management offers an intriguing real world challenge to designing large scale distributed systems using evolutionary computation. The ability to evolve effective air t...
ICAIL
2007
ACM
15 years 3 months ago
2007
ACM
Ontologies in a legal expert system must be processed to suit all possible user cases within the field of law of the system. From the logical premises of a deductive system of expr...
119
click to vote
CIKM
2006
Springer
15 years 3 months ago
2006
Springer
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...
130
click to vote
ERCIMDL
2006
Springer
15 years 3 months ago
2006
Springer
The move towards integrated international Digital Libraries offers the opportunity of creating comprehensive data on citation networks. These data are not only invaluable pointers ...
BIRTHDAY
1991
Springer
15 years 3 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...