Sciweavers

8413 search results - page 1433 / 1683
» Ordering Problem Subgoals
Sort
View
RML
2002
140views Business» more  RML 2002»
15 years 3 months ago
UML as knowledge acquisition frontend for Semantic Web configuration knowledge bases
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
Alexander Felfernig, Gerhard Friedrich, Dietmar Ja...
SIAMCOMP
2002
112views more  SIAMCOMP 2002»
15 years 3 months ago
The Efficiency of Resolution and Davis--Putnam Procedures
We consider several problems related to the use of resolution-based methods for determining whether a given boolean formula in conjunctive normal form is satisfiable. First, build...
Paul Beame, Richard M. Karp, Toniann Pitassi, Mich...
SIAMDM
2002
124views more  SIAMDM 2002»
15 years 3 months ago
Counting Claw-Free Cubic Graphs
Let Hn be the number of claw-free cubic graphs on 2n labeled nodes. Combinatorial reductions are used to derive a second order, linear homogeneous differential equation with polyno...
Edgar M. Palmer, Ronald C. Read, Robert W. Robinso...
TIT
1998
91views more  TIT 1998»
15 years 3 months ago
Multiaccess Fading Channels-Part II: Delay-Limited Capacities
—In multiaccess wireless systems, dynamic allocation of resources such as transmit power, bandwidths, and rates is an important means to deal with the time-varying nature of the ...
Stephen V. Hanly, David N. C. Tse
TSMC
1998
169views more  TSMC 1998»
15 years 3 months ago
Real-time map building and navigation for autonomous robots in unknown environments
—An algorithmic solution method is presented for the problem of autonomous robot motion in completely unknown environments. Our approach is based on the alternate execution of tw...
Giuseppe Oriolo, Giovanni Ulivi, Marilena Venditte...
« Prev « First page 1433 / 1683 Last » Next »