2920 search results - page 451 / 584 » Finite information logic |
184
click to vote
GISCIENCE
2008
Springer
15 years 7 months ago
2008
Springer
Road networks, roads, and junctions are examples of natural language terms whose semantics can be described by affordances of their physical referents. In order to define affordanc...
174
click to vote
CEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Given the great amount of data that are generated of the experiments to analyze information of extracted chemical fluids of the brain of a rodent, arises the necessity to design an...
155
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
Computational steering is a valuable mechanism for scientific investigation in which the parameters of a running program can be altered and the results visualized immediately. In ...
132
click to vote
FUIN
2008
15 years 6 months ago
2008
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
158
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents a new type analysis for logic programs. The analysis is performed with a priori type definitions; and type expressions are formed from a fixed alphabet of type...