6343 search results - page 415 / 1269 » Development of a Cartographic Language |
139
click to vote
VL
2005
IEEE
16 years 9 days ago
2005
IEEE
Evolutionary algorithms (EAs) produce a vast amount of data by recurring processes, e.g., selection, recombination, or mutation, that work on populations of solutions for a speciļ...
150
click to vote
VL
2005
IEEE
16 years 9 days ago
2005
IEEE
What are people currently looking at in their web browser? Do the patterns of pages change over time? Are changes periodic or just related to current events or other factors? We a...
148
click to vote
ITICSE
2005
ACM
16 years 9 days ago
2005
ACM
FAdo1 is an ongoing project which aims the development of an interactive environment for symbolic manipulation of formal languages. In this paper we focus in the description of in...
156
click to vote
IJCNLP
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper describes a method of adapting a domain-independent HPSG parser to a biomedical domain. Without modifying the grammar and the probabilistic model of the origin...
156
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software veriļ¬cation. We have integrated a newly developed software model checker int...