5451 search results - page 962 / 1091 » Typed Operational Semantics |
154
Voted
OIR
2007
15 years 3 months ago
2007
Purpose – This article is the third in a four-part series that aims to illustrate the process involved in planning a portal and creating a portal definition document. Design/me...
163
click to vote
VR
2008
IEEE
15 years 3 months ago
2008
IEEE
We describe a novel markerless camera tracking approach and user interaction methodology for augmented reality (AR) on unprepared tabletop environments. We propose a real-time sys...
113
Voted
IEICET
2010
15 years 2 months ago
2010
Design of high gain and high efficiency antennas is one of the key challenges in antenna engineering and especially in millimeter wave communication systems. Various types of plan...
153
Voted
IFM
2010
Springer
15 years 2 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...
86
Voted
IMAMCI
2010
15 years 2 months ago
2010
We consider a circular arch of thickness ε and curvature r−1 whose elastic deformations are described by a 2×2 system of linear partial differential equation. The system - of...