Sciweavers

680 search results - page 111 / 136
» Modeling plant structures using concept sketches
Sort
View
JOT
2007
124views more  JOT 2007»
14 years 11 months ago
Displaying Updated Stock Quotes
This paper describes how to extract stock quote data and display it with a dynamic update (using free, but delayed data streams). As a part of the architecture of the program, we ...
Douglas Lyon
BMCBI
2005
97views more  BMCBI 2005»
14 years 11 months ago
Comparative mapping of sequence-based and structure-based protein domains
Background: Protein domains have long been an ill-defined concept in biology. They are generally described as autonomous folding units with evolutionary and functional independenc...
Ya Zhang, John-Marc Chandonia, Chris H. Q. Ding, S...
PLDI
2010
ACM
15 years 9 months ago
Complete Functional Synthesis
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
Viktor Kuncak, Mika l Mayer, Ruzica Piskac, Philip...
LREC
2010
225views Education» more  LREC 2010»
15 years 1 months ago
The Architecture of FunGramKB
Natural language understanding systems require a knowledge base provided with conceptual representations reflecting the structure of human beings' cognitive system. Although ...
Carlos Periñán-Pascual, Francisco Ar...
APN
2008
Springer
15 years 1 months ago
Hierarchical Set Decision Diagrams and Automatic Saturation
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon