2131 search results - page 91 / 427 » Immunity for Closed Sets |
LFCS
2009
Springer
15 years 7 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
94
Voted
IEEECIT
2007
IEEE
15 years 7 months ago
2007
IEEE
Search engines have become efficient assistants for people to access information on the Web. Some researchers argue that the prevalence of search engines is setting a tough journ...
112
Voted
BIRTHDAY
2000
Springer
15 years 5 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
130
click to vote
ECML
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a decoupled two stage solution to the multiple-instance learning (MIL) problem. With a constructed affinity matrix to reflect the instance relations, a modified...
GCB
2000
Springer
15 years 4 months ago
2000
Springer
We describe an algorithm for the automatic discovery of recurring patterns in protein structures. The patterns consist of individual residues having a defined order along the prote...