Sciweavers

5363 search results - page 133 / 1073
» Building the Cerebellum in a Computer
Sort
View
ISSAC
2007
Springer
83views Mathematics» more  ISSAC 2007»
16 years 10 days ago
Parallel computation of the rank of large sparse matrices from algebraic K-theory
This paper deals with the computation of the rank and some integer Smith forms of a series of sparse matrices arising in algebraic K-theory. The number of non zero entries in the ...
Jean-Guillaume Dumas, Philippe Elbaz-Vincent, Pasc...
PDCAT
2007
Springer
16 years 9 days ago
A Service Provision Model Based on Context Awareness for Ubiquitous Computing
Ubiquitous computing environment has become more popular as a highly open, heterogeneous and service-rich domain, which makes it essential and important for end-users to build a r...
Faqun Jiang, Jintao Li, Zhenmin Zhu
ICPP
1987
IEEE
15 years 9 months ago
Performance of VLSI Engines for Lattice Computations
Abstract. We address the problem of designing and building efficient custom Vl.Sl-besed processors to do computations on large multi-dimensional lattices. The design tradeoffs for ...
Steven D. Kugelmass, Kenneth Steiglitz, Richard K....
CIE
2008
Springer
15 years 8 months ago
Interpreting Localized Computational Effects Using Operators of Higher Type
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
John Longley
APPINF
2003
15 years 7 months ago
Software Testing for Ubiquitous Computing Devices
We describe an approach for building and testing software for ubiquitous computing. The approach provides application-level emulators of ubiquitous devices. Since each emulator is...
Ichiro Satoh