17983 search results - page 196 / 3597 » Set Types and Applications |
174
click to vote
LPNMR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and ...
183
click to vote
ENTCS
2002
15 years 6 months ago
2002
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
160
click to vote
IPPS
2005
IEEE
16 years 4 days ago
2005
IEEE
The Parallel-Horus framework, developed at the University of Amsterdam, is a unique software architecture that allows non-expert parallel programmers to develop fully sequential m...
158
click to vote
ICA
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents and discusses the application of blind source separation to astrophysical data obtained with the WMAP satellite.
153
click to vote
LREC
2008
2008
What would you Ask a conversational Agent? Observations of Human-Agent Dialogues in a Museum Setting
15 years 8 months ago
Embodied Conversational Agents have typically been constructed for use in limited domain applications, and tested in very specialized environments. Only in recent years have there...