Sciweavers

8228 search results - page 363 / 1646
» Structural Logical Relations
Sort
View
AROBOTS
2010
101views more  AROBOTS 2010»
15 years 7 months ago
A quantitative assessment of structural errors in grid maps
Various common error sources affect the quality of a map, e.g., salt and pepper noise and other forms of noise that are more or less uniformly distributed over the map. But there ...
Andreas Birk
BMCBI
2008
154views more  BMCBI 2008»
15 years 6 months ago
Sequence based residue depth prediction using evolutionary information and predicted secondary structure
Background: Residue depth allows determining how deeply a given residue is buried, in contrast to the solvent accessibility that differentiates between buried and solvent-exposed ...
Hua Zhang, Tuo Zhang, Ke Chen 0003, Shiyi Shen, Ji...
ICTAI
2007
IEEE
16 years 1 months ago
Qualitative Constraints Representation for the Time and Space in SAT
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
Jean-François Condotta, Dominique D'Almeida
CAEPIA
2005
Springer
16 years 10 days ago
Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
Alfredo Burrieza, Emilio Muñoz-Velasco, Man...
GLVLSI
2002
IEEE
122views VLSI» more  GLVLSI 2002»
15 years 11 months ago
A compact delay model for series-connected MOSFETs
A compact delay model for series connected MOSFETs has been derived. This model enables accurate prediction of worst-case delay of different logic families such as dynamic logic. ...
Kaveh Shakeri, James D. Meindl