Sciweavers

8450 search results - page 463 / 1690
» Interactively Modeling with Photogrammetry
Sort
View
NAR
2011
214views Computer Vision» more  NAR 2011»
14 years 9 months ago
DAnCER: Disease-Annotated Chromatin Epigenetics Resource
Chromatin modification (CM) is a set of epigenetic processes that govern many aspects of DNA replication, transcription and repair. CM is carried out by groups of physically inter...
Andrei L. Turinsky, Brian Turner, Rosanne C. Borja...
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
16 years 5 days ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
CHI
2004
ACM
16 years 7 months ago
Examining the robustness of sensor-based statistical models of human interruptibility
Current systems often create socially awkward interruptions or unduly demand attention because they have no way of knowing if a person is busy and should not be interrupted. Previ...
James Fogarty, Scott E. Hudson, Jennifer Lai
CADE
2008
Springer
16 years 7 months ago
Model Checking for Stability Analysis in Rely-Guarantee Proofs
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
Hasan Amjad, Richard Bornat
HICSS
2008
IEEE
119views Biometrics» more  HICSS 2008»
16 years 1 months ago
A Value Network Model for Strategic Analysis
This paper describes a new framework for modeling value network of inter-organization interactions. We propose a set of building blocks elements of the model made of economic enti...
Alain Biem, Nathan Caswell