2032 search results - page 376 / 407 » Encodings of the Sequence Constraint |
116
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
125
click to vote
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
139
click to vote
SIGCOMM
2005
ACM
15 years 7 months ago
2005
ACM
Thousands of competing autonomous systems must cooperate with each other to provide global Internet connectivity. Each autonomous system (AS) encodes various economic, business, a...
123
Voted
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
106
click to vote
LPNMR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...