Sciweavers

3068 search results - page 122 / 614
» Separation Results on the
Sort
View
EUROGP
2004
Springer
108views Optimization» more  EUROGP 2004»
15 years 11 months ago
Genetic Programming for Natural Language Parsing
Parsing and Tagging are very important tasks in Natural Language Processing. Parsing amounts to searching the correct combination of grammatical rules among those compatible with a...
Lourdes Araujo
AUTOMATICA
2007
102views more  AUTOMATICA 2007»
15 years 6 months ago
An extension of duality to a game-theoretic framework
This paper extends some duality results from a standard optimization setup to a noncooperative (Nash) game framework. A Nash game (NG) with coupled constraints is considered. Solv...
Lacra Pavel
FSTTCS
2010
Springer
15 years 4 months ago
On extracting computations from propositional proofs (a survey)
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
Pavel Pudlák
ICPR
2006
IEEE
16 years 7 months ago
A novel SVM Geometric Algorithm based on Reduced Convex Hulls
Geometric methods are very intuitive and provide a theoretically solid viewpoint to many optimization problems. SVM is a typical optimization task that has attracted a lot of atte...
Michael E. Mavroforakis, Margaritis Sdralis, Sergi...
DAC
1998
ACM
16 years 7 months ago
WELD - An Environment for Web-based Electronic Design
Increasing size and geographical separation of design data and teams has created a need for a network-based electronic design environment that is scaleable, adaptable, secure, hig...
Francis L. Chan, Mark D. Spiller, A. Richard Newto...