16859 search results - page 3210 / 3372 » Generative software development |
115
Voted
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
111
click to vote
MSWIM
2004
ACM
15 years 7 months ago
2004
ACM
Recent trends in sensor network simulation can be divided between less flexible but accurate emulation based approach and more generic but less detailed network simulator models....
116
Voted
VAST
2004
ACM
15 years 7 months ago
2004
ACM
This paper describes the development of a Virtual Environment (VE) for telling a traditional San story. The San are an indigenous hunter-gatherer people of southern Africa whose t...
103
click to vote
CIKM
2004
Springer
15 years 7 months ago
2004
Springer
A number of content management tasks, including term categorization, term clustering, and automated thesaurus generation, view natural language terms (e.g. words, noun phrases) as...
121
click to vote
DSMML
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In recent years the problem of object recognition has received considerable attention from both the machine learning and computer vision communities. The key challenge of...