4670 search results - page 736 / 934 » Toward meaningful computing |
193
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...
154
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
In recent years, advances in software tools have made it easier to analyze interactive system specifications, and the range of their possible behaviors. However, the effort involve...
216
click to vote
ETVC
2008
15 years 8 months ago
2008
In a seminal paper, Amari (1998) proved that learning can be made more efficient when one uses the intrinsic Riemannian structure of the algorithms' spaces of parameters to po...
181
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
169
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...