4047 search results - page 723 / 810 » Some Properties and Some Problems on Set Functors |
137
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
159
click to vote
PLANX
2007
15 years 5 months ago
2007
Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...
126
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Recent studies have shown that the current primitives for connecting multiple routing protocol instances (OSPF 1, OSPF 2, EIGRP 10, etc.) are pervasively deployed in enterprise ne...
146
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The hierarchical and partially redundant nature of protein structures justifies the definition of frequently occurring conformations of short fragments as `states'...
156
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Since many of the new protein structures delivered by high-throughput processes do not have any known function, there is a need for structure-based prediction of prote...