2162 search results - page 356 / 433 » Automated Reasoning on Feature Models |
148
click to vote
BIOCOMP
2008
15 years 5 months ago
2008
- Integrating information about protein sequence and structure allows further exploration and establishment of protein sequence-structure-function relations. However, protein data ...
127
click to vote
FLAIRS
2006
15 years 5 months ago
2006
In today's IT-centric, regulated and competitive environment, businesses rely more heavily on IT technologies. Organizations are often challenged by customers, business partn...
160
click to vote
WOODPECKER
2001
15 years 5 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
157
click to vote
IJCAI
1997
15 years 5 months ago
1997
High-level understanding of data must involve the interplay between substantial prior knowledge with geometric and statistical techniques. Our approach emphasizes the recovery of ...
123
click to vote
ISMB
1994
15 years 5 months ago
1994
Weare developing a laboratory notebook system knownas the Genetics Deductive Database. Currently our prototype provides storage for biological facts andrules withflexible accessvi...