Sciweavers

2468 search results - page 203 / 494
» A New Approach to Pseudoword Generation
Sort
View
IJCAI
1997
15 years 8 months ago
Equational Reasoning using AC Constraints
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
David A. Plaisted, Yunshan Zhu
FAC
2008
64views more  FAC 2008»
15 years 6 months ago
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
Robert M. Hierons, Florentin Ipate
JCM
2007
101views more  JCM 2007»
15 years 6 months ago
Control Mechanism for QoS Guaranteed Multicast Service in OVPN over IP/GMPLS over DWDM
—OVPN over IP/GMPLS over DWDM technology with QoS assurances is considered as a promising approach for the next generation OVPN. In this paper, we suggest a multicast OLSP (Optic...
Jeong-Mi Kim, Oh-Han Kang, Jae-Il Jung, Sung Un Ki...
OTM
2009
Springer
16 years 1 months ago
The Constellation Query Language
Collaboration in modeling is essential to success, but ORM diagrams intimidate many business people, and most would never install an ORM modeling tool on their computers. The Const...
Clifford Heath
GECCO
2010
Springer
184views Optimization» more  GECCO 2010»
15 years 11 months ago
Transfer learning through indirect encoding
An important goal for the generative and developmental systems (GDS) community is to show that GDS approaches can compete with more mainstream approaches in machine learning (ML)....
Phillip Verbancsics, Kenneth O. Stanley