2410 search results - page 265 / 482 » Multiset Ordering Constraints |
164
click to vote
FROCOS
2005
Springer
16 years 16 hour ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
144
click to vote
GECCO
2005
Springer
16 years 14 hour ago
2005
Springer
Effects based operations (EBO) is a concept based on the premise that a desired strategic outcome can be achieved through synergistic, multiplicative, and cumulative application ...
163
click to vote
HPCC
2005
Springer
16 years 12 hour ago
2005
Springer
Historically, high performance systems use schedulers and intelligent resource managers in order to optimize system usage and application performance. Most of the times, applicatio...
154
click to vote
IBPRIA
2005
Springer
16 years 12 hour ago
2005
Springer
This paper presents a method for the detection of multiple concentric circles which is based on the Hough Transform (HT). In order to reduce time and memory space the concentric ci...
177
click to vote
ICCS
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. In the future, advanced biomechanical simulations of brain deformation during surgery will require access to multi-teraflop parallel hardware, supporting operating room i...