2196 search results - page 58 / 440 » Practical Reasoning Using Values |
ICFCA
2009
Springer
14 years 4 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
KES
2004
Springer
14 years 3 months ago
2004
Springer
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
POPL
1993
ACM
14 years 1 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
ESOP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
RCIS
2010
13 years 8 months ago
2010
This focus group study presents our first validation of practices for engineering the coordination requirements in cross organizational Enterprise Resource Planning (ERP) project...