Sciweavers

2370 search results - page 260 / 474
» A Structured Set of Higher-Order Problems
Sort
View
ICDAR
2011
IEEE
14 years 3 months ago
CROHME2011: Competition on Recognition of Online Handwritten Mathematical Expressions
— A competition on recognition of online handwritten mathematical expressions is organized. Recognition of mathematical expressions has been an attractive problem for the pattern...
Harold Mouchère, Christian Viard-Gaudin, Da...
IASTEDSEA
2004
15 years 5 months ago
Higher-order strategic programming: A road to software assurance
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
Victor L. Winter, Steve Roach, Fares Fraij
BMCBI
2008
144views more  BMCBI 2008»
15 years 4 months ago
Pep-3D-Search: a method for B-cell epitope prediction based on mimotope analysis
Background: The prediction of conformational B-cell epitopes is one of the most important goals in immunoinformatics. The solution to this problem, even if approximate, would help...
Yanxin Huang, Yongli Bao, Shu Yan Guo, Yan Wang, C...
WWW
2007
ACM
16 years 5 months ago
Query-driven indexing for peer-to-peer text retrieval
We describe a query-driven indexing framework for scalable text retrieval over structured P2P networks. To cope with the bandwidth consumption problem that has been identified as ...
Gleb Skobeltsyn, Toan Luu, Karl Aberer, Martin Raj...
ICDE
2008
IEEE
204views Database» more  ICDE 2008»
16 years 5 months ago
Keyword Search on Spatial Databases
Many applications require finding objects closest to a specified location that contains a set of keywords. For example, online yellow pages allow users to specify an address and a ...
Ian De Felipe, Vagelis Hristidis, Naphtali Rishe