Sciweavers

1357 search results - page 212 / 272
» Compositionality in Graph Transformation
Sort
View
BMCBI
2007
115views more  BMCBI 2007»
15 years 3 months ago
Seven Golden Rules for heuristic filtering of molecular formulas obtained by accurate mass spectrometry
Background: Structure elucidation of unknown small molecules by mass spectrometry is a challenge despite advances in instrumentation. The first crucial step is to obtain correct e...
Tobias Kind, Oliver Fiehn
JOT
2008
100views more  JOT 2008»
15 years 3 months ago
Panda: a Pattern-based Programming System for Automatic Code Generation
This article provides an overview of a pattern-based programming system, named Panda, for automatic generation of high-level programming language code. Many code generation system...
Daniele Mazzeranghi
118
Voted
MICRO
2008
IEEE
93views Hardware» more  MICRO 2008»
15 years 3 months ago
What Kinds of Computer-Software-Related Advances (if Any) Are Eligible for Patents? Part II: The "Useful Arts" Requirement
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...
Richard Stern
CVPR
2012
IEEE
13 years 6 months ago
Automatic discovery of groups of objects for scene understanding
Objects in scenes interact with each other in complex ways. A key observation is that these interactions manifest themselves as predictable visual patterns in the image. Discoveri...
Congcong Li, Devi Parikh, Tsuhan Chen
CVPR
2008
IEEE
16 years 5 months ago
Exact inference in multi-label CRFs with higher order cliques
This paper addresses the problem of exactly inferring the maximum a posteriori solutions of discrete multi-label MRFs or CRFs with higher order cliques. We present a framework to ...
Srikumar Ramalingam, Pushmeet Kohli, Karteek Alaha...