3006 search results - page 8 / 602 » Overview |
NN
2000
Springer
13 years 7 months ago
2000
Springer
This article gives an overview of the different functional brain imaging methods, the kinds of questions these methods try to address and some of the questions associated with fun...
JAMDS
2002
13 years 7 months ago
2002
Abstract. Recently the authors have proposed tests for the one-sample and the ksample problem, and a test for independence. All three tests are based on sample space partitions, bu...
CHI
2003
ACM
14 years 7 months ago
2003
ACM
Calendar applications for small handheld devices such as PDAs are growing in popularity. This led us to develop FishCal, a novel calendar interface for PDAs. It supports users in ...
SIGMOD
2005
ACM
14 years 7 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...