Sciweavers

2694 search results - page 149 / 539
» A Description Logic of Change
Sort
View
GI
2009
Springer
13 years 7 months ago
Using Semantic UI Descriptions for Adaptive Mobile Games
: In recent years, mobile devices became more and more powerful, wireless Internet access is becoming standard. To support mobile applications adapting their User Interface to vari...
Pascal Bihler, Holger Mügge, Mark Schmatz, Ar...
ICCD
1993
IEEE
124views Hardware» more  ICCD 1993»
14 years 1 months ago
Synthesis of Controllers from Interval Temporal Logic Specification
for a state machine which is an abstraction for an existing sequential circuit, which can be useful for redesign or engineering change. The generated state machines can be further ...
Masahiro Fujita, Shinji Kono
AAAI
2007
14 years 6 hour ago
Logical Generative Models for Probabilistic Reasoning about Existence, Roles and Identity
In probabilistic reasoning, the problems of existence and identity are important to many different queries; for example, the probability that something that fits some description...
David Poole
CVPR
2009
IEEE
1070views Computer Vision» more  CVPR 2009»
15 years 3 months ago
Surface Feature Detection and Description with Applications to Mesh Matching
In this paper we revisit local feature detectors/descriptors developed for 2D images and extend them to the more general framework of scalar fields defined on 2D manifolds. We pro...
Andrei Zaharescu (INRIA Grenoble), Edmond Boyer (L...
CVPR
2010
IEEE
14 years 3 months ago
Robust Order-based Methods for Feature Description
Feature-based methods have found increasing use in many applications such as object recognition, 3D reconstruction and mosaicing. In this paper, we focus on the problem of matchin...
Raj Gupta, Anurag Mittal, Harshal Patil