11436 search results - page 87 / 2288 » Modeling Real Reasoning |
149
click to vote
TIME
2006
IEEE
15 years 8 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
102
Voted
RE
1999
Springer
15 years 7 months ago
1999
Springer
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
110
Voted
TCS
2008
15 years 2 months ago
2008
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...
118
Voted
3DIM
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an Augmented Reality system that relies on purely passive techniques to solve the real-time registration problem. It can run on a portable PC and does not require engin...
137
Voted
DLOG
2010
15 years 20 days ago
2010
ABox Reasoning in large scale description logic (DL) knowledge bases, e.g. ontologies, is important for the success of many semantic-enriched systems. Performance of existing appro...