1301 search results - page 74 / 261 » Specifications via Realizability |
ACL
2009
13 years 7 months ago
2009
This paper describes our system for generating Chinese aspect expressions. In the system, the semantics of different aspects is characterized by specific temporal and conceptual f...
TSP
2010
13 years 4 months ago
2010
This work addresses the problem of deciding whether a set of realizations of a vector-valued time series with unknown temporal correlation are spatially correlated or not. For wide...
SEW
2006
IEEE
2006
IEEE
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker
14 years 4 months ago
Although there exist several software model checkers that check the code against properties specified e.g. via a temporal logic and assertions, or just verifying low-level propert...
MICCAI
2002
Springer
14 years 11 months ago
2002
Springer
In the past few years virtual reality based systems have been proposed and realized for many medical interventions. These simulators have the potential to provide training on a wid...
ASAP
2008
IEEE
14 years 4 months ago
2008
IEEE
This article discusses the design of an application specific MPSoC architecture dedicated to Multiple Target Tracking (MTT). This application has its utility in driver assistant s...