Sciweavers

2041 search results - page 148 / 409
» Modelling Generic Judgements
Sort
View
CALCO
2011
Springer
225views Mathematics» more  CALCO 2011»
14 years 4 months ago
Linearly-Used State in Models of Call-by-Value
Abstract. We investigate the phenomenon that every monad is a linear state monad. We do this by studying a fully-complete state-passing translation from an impure call-by-value lan...
Rasmus Ejlers Møgelberg, Sam Staton
CVPR
2006
IEEE
16 years 6 months ago
Robust AAM Fitting by Fusion of Images and Disparity Data
Active Appearance Models (AAMs) have been popularly used to represent the appearance and shape variations of human faces. Fitting an AAM to images recovers the face pose as well a...
Joerg Liebelt, Jing Xiao, Jie Yang
144
Voted
EDBT
2004
ACM
230views Database» more  EDBT 2004»
16 years 4 months ago
Flexible Integration of Molecular-Biological Annotation Data: The GenMapper Approach
Molecular-biological annotation data is continuously being collected, curated and made accessible in numerous public data sources. Integration of this data is a major challenge in ...
Hong Hai Do, Erhard Rahm
131
Voted
EDOC
2009
IEEE
15 years 11 months ago
Using Enterprise Architecture Management Patterns to Complement TOGAF
—The design of an Enterprise Architecture (EA) management function for an enterprise is no easy task. Various frameworks exist as well as EA management tools, which promise to de...
Sabine Buckl, Alexander M. Ernst, Florian Matthes,...
AB
2007
Springer
15 years 10 months ago
Analyzing Pathways Using SAT-Based Approaches
Abstract. A network of reactions is a commonly used paradigm for representing knowledge about a biological process. How does one understand such generic networks and answer queries...
Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, ...