1469 search results - page 206 / 294 » Structural aspects of tilings |
147
click to vote
LPNMR
2009
Springer
16 years 21 days 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. ...
164
Voted
RWEB
2009
Springer
16 years 21 days 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...
145
Voted
SAT
2009
Springer
16 years 21 days 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....
172
click to vote
SMA
2009
ACM
16 years 20 days 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...
146
click to vote
DATE
2008
IEEE
16 years 18 days 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...