3679 search results - page 86 / 736 » Hybrid Semantic Analysis |
123
click to vote
VMV
2003
15 years 2 months ago
2003
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
86
Voted
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...
103
Voted
ALP
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
104
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
81
Voted
ISI
2004
Springer
15 years 6 months ago
2004
Springer
Malicious insiders’ difficult-to-detect activities pose serious threats to the intelligence community (IC) when these activities go undetected. A novel approach that integrates ...