672 search results - page 77 / 135 » On the Expressive Power of the Loop Language |
177
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
As semantic markup becomes ubiquitous, it will become important to be able to ask queries and obtain answers, using natural language (NL) expressions, rather than the keyword-based...
169
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Titanium is an explicitly parallel dialect of JavaTM designed for high-performance scientific programming. It offers objectorientation, strong typing, and safe memory management...
145
click to vote
SDB
1995
15 years 9 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...
160
click to vote
FCT
2009
Springer
16 years 21 days ago
2009
Springer
Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real ...
174
click to vote
APLAS
2005
ACM
15 years 11 months ago
2005
ACM
act Interpretation Perspective on Linear vs. Branching Time Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy It is...