5144 search results - page 273 / 1029 » Enhancing Search with Structure |
170
click to vote
ACNS
2005
Springer
16 years 6 days ago
2005
Springer
We introduce novel techniques for organizing the indexing structures of how data is stored so that alterations from an original version can be detected and the changed values speci...
160
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
172
click to vote
LACL
2001
Springer
15 years 11 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
189
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Search engines that support structured documents typically support structure created by the author (e.g., title, section), and may also support structure added by an annotation pr...
186
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A number of sequence-based methods exist for protein secondary structure prediction. Protein secondary structures can also be determined experimentally from circular d...