10666 search results - page 1603 / 2134 » Quantum programming languages |
174
click to vote
ICALP
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We prove that observational equivalence of IA3 + Y0 (3rdorder Idealized Algol with 0th-order recursion) is equivalent to the DPDA Equivalence Problem, and hence decidable...
204
click to vote
ICALP
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
138
click to vote
IFIP
2005
Springer
16 years 13 days ago
2005
Springer
As Linux kernel-based operating systems gain market share there will be an inevitable increase in Linux systems that law enforcement agents must process at cybercrime scenes. The ...
148
click to vote
UM
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Individuals di er in the resources that they are willing to expend on information gathering and on the importance of di erent kinds of information. We have developed MADS...
136
click to vote
UM
2005
Springer
16 years 12 days ago
2005
Springer
Stereotypes and clustering are some techniques for creating user models from user behavior. Yet, they possess important risks as users actions could be misinterpreted or users coul...