1350 search results - page 249 / 270 » Reasoning about Staged Computation |
144
click to vote
IEEESCC
2009
IEEE
16 years 20 days ago
2009
IEEE
Finding relevant files in a personal file system continues to be a challenge. It is still easier to find stuff on the Web with its exponential growth than in one’s personal ...
183
click to vote
LICS
2009
IEEE
16 years 19 days ago
2009
IEEE
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages L that assign to each word w a real number L(w). In ...
143
click to vote
ICYCS
2008
IEEE
16 years 13 days ago
2008
IEEE
Context-aware service platforms use context information to customize their services to the current users’ situation. Due to technical limitations in sensors and context reasonin...
178
click to vote
LICS
2008
IEEE
16 years 12 days ago
2008
IEEE
Collapsible pushdown automata (CPDA) are a new kind of higher-order pushdown automata in which every symbol in the stack has a link to a stack situated somewhere below it. In addi...
162
click to vote
ATAL
2007
Springer
16 years 6 days ago
2007
Springer
Determining the provenance of data, i.e. the process that led to that data, is vital in many disciplines. For example, in science, the process that produced a given result must be...