1636 search results - page 30 / 328 » Reasoning About Quantum Systems |
UC
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
99
Voted
AI
2001
Springer
15 years 5 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
106
click to vote
VL
2002
IEEE
15 years 6 months ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
117
click to vote
GIS
2002
ACM
15 years 1 months ago
2002
ACM
Studies about geographical information systems (GIS) use contribute to geographic information science through critical evaluation of the concepts embedded in GIS tools. Social-beha...
113
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
When a physicist performs a quantic measurement, new information about the system at hand is gathered. This presentation studies the logical properties of how this new information...