Sciweavers

8413 search results - page 1392 / 1683
» Ordering Problem Subgoals
Sort
View
ECRTS
2010
IEEE
15 years 5 months ago
Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...
Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi
ERCIMDL
2010
Springer
142views Education» more  ERCIMDL 2010»
15 years 5 months ago
Effective Term Weighting for Sentence Retrieval
A well-known challenge of information retrieval is how to infer a user's underlying information need when the input query consists of only a few keywords. Question Answering (...
Saeedeh Momtazi, Matthew Lease, Dietrich Klakow
ETS
2010
IEEE
150views Hardware» more  ETS 2010»
15 years 5 months ago
Improving CNF representations in SAT-based ATPG for industrial circuits using BDDs
It was shown in the past that ATPG based on the Boolean Satisfiability problem is a beneficial complement to traditional ATPG techniques. Its advantages can be observed especially ...
Daniel Tille, Stephan Eggersglüß, Rene ...
GECCO
2008
Springer
131views Optimization» more  GECCO 2008»
15 years 5 months ago
Rigorous analyses of fitness-proportional selection for optimizing linear functions
Rigorous runtime analyses of evolutionary algorithms (EAs) mainly investigate algorithms that use elitist selection methods. Two algorithms commonly studied are Randomized Local S...
Edda Happ, Daniel Johannsen, Christian Klein, Fran...
133
Voted
ICML
2010
IEEE
15 years 5 months ago
Learning Markov Logic Networks Using Structural Motifs
Markov logic networks (MLNs) use firstorder formulas to define features of Markov networks. Current MLN structure learners can only learn short clauses (4-5 literals) due to extre...
Stanley Kok, Pedro Domingos
« Prev « First page 1392 / 1683 Last » Next »