2084 search results - page 257 / 417 » Set Constraints in Logic Programming |
ICASSP
2011
IEEE
13 years 19 hour ago
2011
IEEE
In this paper we discuss rate control for multiuser multicarrier systems, where the transmitter has a single antenna and is subject to a PSD mask limitation while the receiver has...
DSRT
2008
IEEE
13 years 10 months ago
2008
IEEE
Most common real-time embedded programming languages provide a means to specify functionality; however, they have few constructs to specify precise timing constraints. LabVIEW is ...
SAC
2006
ACM
13 years 8 months ago
2006
ACM
Interactive configuration guides a user searching through a large combinatorial space of solutions to a system of constraints. We investigate a class of very expressive underlying...
ADC
1999
Springer
14 years 18 days ago
1999
Springer
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...
COMMA
2006
13 years 9 months ago
2006
In this paper, we examine an argument-based semantics called semi-stable semantics. Semi-stable semantics is quite close to traditional stable semantics in the sense that every st...