Sciweavers

110 search results - page 17 / 22
» OWL-Full Reasoning from an Object Oriented Perspective
Sort
View
84
Voted
BPM
2008
Springer
164views Business» more  BPM 2008»
14 years 11 months ago
Analyzing Business Continuity through a Multi-layers Model
Business Continuity Management (BCM) is a process to manage risks, emergencies, and recovery plans of an organization during a crisis. It results in a document called Business Cont...
Yudistira Asnar, Paolo Giorgini
POPL
2011
ACM
14 years 11 days ago
Pick your contexts well: understanding object-sensitivity
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhot...
103
Voted
SIGCSE
2000
ACM
453views Education» more  SIGCSE 2000»
15 years 1 months ago
Aristotle and object-oriented programming: why modern students need traditional logic
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
Derek Rayside, Gerard T. Campbell
WOLLIC
2009
Springer
15 years 4 months ago
Classic-Like Analytic Tableaux for Finite-Valued Logics
The paper provides a recipe for adequately representing a very inclusive class of finite-valued logics by way of tableaux. The only requisite for applying the method is that the o...
Carlos Caleiro, João Marcos
ICCV
2009
IEEE
16 years 2 months ago
Decomposing a Scene into Geometric and Semantically Consistent Regions
High-level, or holistic, scene understanding involves reasoning about objects, regions, and the 3D relationships between them. This requires a representation above the level of ...
Stephen Gould, Richard Fulton, Daphne Koller