893 search results - page 50 / 179 » Environment Assumptions for Synthesis |
TOOLS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
AIED
2005
Springer
14 years 1 months ago
2005
Springer
We have developed a range of critical thinking environments for science education that span several academic content areas, including human biology, geology and forestry. All envir...
PSYCHNOLOGY
2008
13 years 7 months ago
2008
The current study belongs to a series of studies promoted by the EU funded project "PASION", which focuses on augmenting social presence. The underlying assumptions to t...
3DIM
2011
IEEE
12 years 7 months ago
2011
IEEE
—We propose a data-driven, multi-view body pose estimation algorithm for video. It can operate in uncontrolled environments with loosely calibrated and low resolution cameras and...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
In recent years, data broadcasting becomes a promising technique to design a mobile information system with power conservation, high scalability and high bandwidth utilization. Ho...