3053 search results - page 404 / 611 » Structured Objects: Modeling and Reasoning |
137
Voted
ICLP
2010
Springer
15 years 7 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
148
Voted
AMAI
2000
Springer
15 years 7 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Comp...
140
Voted
DEON
2008
Springer
15 years 5 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
134
Voted
CSL
2007
Springer
15 years 3 months ago
2007
Springer
Automatic speech recognition (ASR) has reached very high levels of performance in controlled situations. However, the performance degrades significantly when environmental noise ...
180
Voted
GIS
2002
ACM
15 years 3 months ago
2002
ACM
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...