5896 search results - page 700 / 1180 » On Learning with Integral Operators |
170
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
207
click to vote
EUROSYS
2010
ACM
16 years 1 months ago
2010
ACM
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to
the bus...
169
click to vote
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...
152
click to vote
APSEC
2006
IEEE
16 years 28 days ago
2006
IEEE
Refactoring makes existing source code more understandable and reusable without changing observable behavior. Therefore, applying refactorings to existing source code and reversin...
176
click to vote
CCGRID
2006
IEEE
16 years 28 days ago
2006
IEEE
Recently, Grid infrastructures have provided wide integrated use of resources. DotGrid intends to introduce required Grid services and toolkits that are implemented as a layer wra...