1263 search results - page 12 / 253 » Packaging Mathematical Structures |
ISSS
1997
IEEE
13 years 11 months ago
1997
IEEE
Partitioning a system among multiple input and output pin I O limited packages is a widely researched and hard to solve problem. We previously described a new approach yielding ...
ECEASST
2006
13 years 7 months ago
2006
Mining for frequent subgraphs in a graph database has become a popular topic in the last years. Algorithms to solve this problem are used in chemoinformatics to find common molecul...
BMCBI
2005
13 years 7 months ago
2005
Background: Taxon specific hybridization probes in combination with a variety of commonly used hybridization formats nowadays are standard tools in microbial identification. A fre...
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
CNL
2009
13 years 8 months ago
2009
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...