2131 search results - page 91 / 427 » Immunity for Closed Sets |
160
click to vote
LFCS
2009
Springer
16 years 1 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...
157
click to vote
IEEECIT
2007
IEEE
16 years 1 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...
190
click to vote
BIRTHDAY
2000
Springer
15 years 11 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...
204
click to vote
ECML
2006
Springer
15 years 10 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...
176
click to vote
GCB
2000
Springer
15 years 10 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...