Sciweavers

3328 search results - page 71 / 666
» On Plateaued Functions and Their Constructions
Sort
View
EUC
2004
Springer
14 years 2 months ago
Construction of Distributed Object Group Framework and Its Execution Analysis Using Distributed Application Simulation
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...
Chang-Sun Shin, Chang-Won Jeong, Su-Chong Joo
MPC
1995
Springer
125views Mathematics» more  MPC 1995»
14 years 13 days ago
Synthesizing Proofs from Programs in the Calculus of Inductive Constructions
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
Catherine Parent
LREC
2010
189views Education» more  LREC 2010»
13 years 10 months ago
Constructing an Annotated Story Corpus: Some Observations and Issues
This paper discusses our ongoing work on constructing an annotated corpus of children's stories for further studies on the linguistic, computational, and cognitive aspects of...
Oi Yee Kwong
LREC
2008
85views Education» more  LREC 2008»
13 years 10 months ago
Construction of a Metadata Database for Efficient Development and Use of Language Resources
The National Institute of Information and Communications Technology (NICT) and Nagoya University have been jointly constructing a large scale database named SHACHI by collecting d...
Hitomi Tohyama, Shunsuke Kozawa, Kiyotaka Uchimoto...
ESWA
2008
162views more  ESWA 2008»
13 years 9 months ago
Proportionate flexible flow shop scheduling via a hybrid constructive genetic algorithm
The proportionate flow shop (PFS) is considered as a unique case of the flow shop problem in which the processing times of the operations belonging to the same job are equal. A pr...
Der-Fang Shiau, Shu-Chen Cheng, Yueh-Min Huang