1469 search results - page 206 / 294 » Structural aspects of tilings |
LPNMR
2009
Springer
15 years 5 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...
RWEB
2009
Springer
15 years 5 months ago
2009
Springer
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
SAT
2009
Springer
15 years 5 months ago
2009
Springer
Different quantifier types in Quantified Boolean Formulae (QBF) introduce variable dependencies which have to be taken into consideration when deciding satisfiability of a QBF....
SMA
2009
ACM
15 years 5 months ago
2009
ACM
Electrostatic interactions play a significant role in determining the binding affinity of molecules and drugs. While significant effort has been devoted to the accurate computat...
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
Ultra low-power devices are being developed for embedded applications in bio-medical electronics, wireless sensor networks, environment monitoring and protection, etc. The testing...