103 search results - page 7 / 21 » An Arithmetic Library and Its Application to the N-body Prob... |
JAPLL
2010
14 years 8 months ago
2010
We introduce the extended modal logic EML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as nu...
FORMATS
2010
Springer
14 years 7 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
80
Voted
DIAL
2004
IEEE
15 years 1 months ago
2004
IEEE
A great number of documents are scanned and archived in the form of digital images in digital libraries, to make them available and accessible in the Internet. Information retriev...
90
Voted
SBACPAD
2003
IEEE
15 years 2 months ago
2003
IEEE
A large set of tools for network monitoring and accounting, security, traffic analysis and prediction — more broadly, for network operation and management — require direct and...
DAC
2002
ACM
15 years 10 months ago
2002
ACM
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...