2858 search results - page 222 / 572 » Logics with Aggregate Operators |
174
click to vote
FAC
2010
15 years 5 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
160
click to vote
ICTAI
2005
IEEE
16 years 3 days ago
2005
IEEE
Partially Observable Markov Decision Processes (POMDPs) provide a general framework for AI planning, but they lack the structure for representing real world planning problems in a...
230
click to vote
ISD
1999
Springer
15 years 10 months ago
1999
Springer
The successful development of any geographic information system project needs the careful design and implementation of spatial databases via conceptual and logical data-modeling. T...
176
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
Ultraprecision turning is a manufacturing process used to generate a high surface roughness in precision components, and its input-output relationships are highly nonlinear. Surfa...
140
click to vote
ERCIMDL
2010
Springer
15 years 7 months ago
2010
Springer
Preserving digital information over the long term becomes increasing important for large number of institutions. The required expertise and limited tool support discourage especial...