T. Landauer, Rosalind W. Picard, D. Touretzky, R. Baker, R. Holte, Amanda Stent, D. Vanderveken
{"title":"Invited Talk Abstracts","authors":"T. Landauer, Rosalind W. Picard, D. Touretzky, R. Baker, R. Holte, Amanda Stent, D. Vanderveken","doi":"10.1109/enc.2006.20","DOIUrl":"https://doi.org/10.1109/enc.2006.20","url":null,"abstract":"","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131171020","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
G. Padilla, F. Bastani, C. M. D. Oca, Miguel A. Serrano
Message Sequence Charts (MSCs) is a standardized visual notation for expressing requirements in communicating systems. MSCs are commonly used to specify scenarios describing message exchange among entities such as objects, components, systems, etc. A multiplicity is a modeling construct that is used to define constraints in the existential relationships between entities and it is frequently found in static models, such as class or entity diagrams. This paper describes a formal approach for formalizing the combination of MSCs with multiplicities. The formalization is achieved by defining an instantiation partial function that provides a clear interpretation of how to instantiate MSCs with multiplicities. The formalization uses composition operators that are used to formalize inline expressions (a well-known MSCs modeling construct). This formalization is designed to allow integration with the current formal semantics proposed for MSCs
{"title":"Instantiation Semantics for Message Sequence Charts","authors":"G. Padilla, F. Bastani, C. M. D. Oca, Miguel A. Serrano","doi":"10.1109/ENC.2006.19","DOIUrl":"https://doi.org/10.1109/ENC.2006.19","url":null,"abstract":"Message Sequence Charts (MSCs) is a standardized visual notation for expressing requirements in communicating systems. MSCs are commonly used to specify scenarios describing message exchange among entities such as objects, components, systems, etc. A multiplicity is a modeling construct that is used to define constraints in the existential relationships between entities and it is frequently found in static models, such as class or entity diagrams. This paper describes a formal approach for formalizing the combination of MSCs with multiplicities. The formalization is achieved by defining an instantiation partial function that provides a clear interpretation of how to instantiate MSCs with multiplicities. The formalization uses composition operators that are used to formalize inline expressions (a well-known MSCs modeling construct). This formalization is designed to allow integration with the current formal semantics proposed for MSCs","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130492382","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Méndez, Emilio García Roselló, M. Lado, J. G. Dacosta, David Martinez Torres, M. P. Cota
We describe a reusable software component library which encapsulates the functionality of the Matlab Neural Networks Toolbox (MNNT). Our library allows the integration of the neural networks toolbox in the software applications development, independently of the platform and development tools used to build it. This library offers two different sets of classes: 1) an API (application program interface) similar to the Matlab toolbox; and 2) a fully object-oriented designed AP. The benefits of using this software component are: 1) to build reusable applications; and 2) to take advantage of the MNNT functionality, power, and robustness
{"title":"IMO.Net Artificial Neural Networks: an object-oriented reusable software component library to integrate Matlab Neural Networks functionality","authors":"A. Méndez, Emilio García Roselló, M. Lado, J. G. Dacosta, David Martinez Torres, M. P. Cota","doi":"10.1109/ENC.2006.18","DOIUrl":"https://doi.org/10.1109/ENC.2006.18","url":null,"abstract":"We describe a reusable software component library which encapsulates the functionality of the Matlab Neural Networks Toolbox (MNNT). Our library allows the integration of the neural networks toolbox in the software applications development, independently of the platform and development tools used to build it. This library offers two different sets of classes: 1) an API (application program interface) similar to the Matlab toolbox; and 2) a fully object-oriented designed AP. The benefits of using this software component are: 1) to build reusable applications; and 2) to take advantage of the MNNT functionality, power, and robustness","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"280 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127286947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In the last years the innovation in technologies such as XML, Web services and component-based development has motivated the interest in business processes. For this reason various languages for design and implementation of business processes such as Business Process Execution Language for Web services (BPEL) have arisen. However, a weakness of these languages is the difficulty to be used by business analysts in the early stages of the development process. In this work we present, through a case study, a model-driven process for the service composition modeling. The process begins with the identification of the services that will be offered to the user, taken into account the system requirements; and allows to obtain a service composition model. From this model it is possible the mapping to a specific Web services composition language
{"title":"Service Composition Modeling: A Case Study","authors":"Valeria de Castro, E. Marcos, M. Sanz","doi":"10.1109/ENC.2006.28","DOIUrl":"https://doi.org/10.1109/ENC.2006.28","url":null,"abstract":"In the last years the innovation in technologies such as XML, Web services and component-based development has motivated the interest in business processes. For this reason various languages for design and implementation of business processes such as Business Process Execution Language for Web services (BPEL) have arisen. However, a weakness of these languages is the difficulty to be used by business analysts in the early stages of the development process. In this work we present, through a case study, a model-driven process for the service composition modeling. The process begins with the identification of the services that will be offered to the user, taken into account the system requirements; and allows to obtain a service composition model. From this model it is possible the mapping to a specific Web services composition language","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126621515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In automatic speech recognition, voice synthesis, speaker identification and identifying laringeal diseases, it is critical to classify speech segments as voiced or unvoiced. Several techniques have been proposed for this issue during the last twenty years, unfortunately, they either have especial cases where the result is unreliable or need to use not only the present segment of speech but the next one as well, this fact limits its applications (i.e continuous speech recognition). In this paper we present an alternative to voiced/unvoiced classification using a discretization of the continuous Fourier transform
{"title":"Using a new Discretization of the Fourier Transform to Discriminate Voiced From Unvoiced Speech","authors":"José Antonio Camarena Ibarrola, Edgar Chávez","doi":"10.1109/ENC.2006.36","DOIUrl":"https://doi.org/10.1109/ENC.2006.36","url":null,"abstract":"In automatic speech recognition, voice synthesis, speaker identification and identifying laringeal diseases, it is critical to classify speech segments as voiced or unvoiced. Several techniques have been proposed for this issue during the last twenty years, unfortunately, they either have especial cases where the result is unreliable or need to use not only the present segment of speech but the next one as well, this fact limits its applications (i.e continuous speech recognition). In this paper we present an alternative to voiced/unvoiced classification using a discretization of the continuous Fourier transform","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116857387","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Along with the increase of the educational materials deployed on the Web, an increase in the needs and expectations also exists towards the adoption of Web-based learning systems. In this respect, CSCL provides the technological infrastructure to conduct effective learning methodologies, since it allows the definition of new scenarios of learning as a social endeavor along with the means for their evaluation. In this paper, it is proposed the design of a methodology for the constructivist approach of collaborative learning based on the scientific method and the implementation of a Web-based framework for a course of logic circuits that support this model. The main contributions consist in (i) using the scientific method as a fundamental model for the acquisition of new knowledge derived from using software artifacts discovered and contributed by a community of students, and (ii) developing a computer-based framework that instruments this model in a new generation of CSCL frameworks
{"title":"Discovery, Dissemination and Integration of Knowledge in a CSCL System","authors":"H. D. Rodriguez, J. O. Olmedo-Aguirre","doi":"10.1109/ENC.2006.11","DOIUrl":"https://doi.org/10.1109/ENC.2006.11","url":null,"abstract":"Along with the increase of the educational materials deployed on the Web, an increase in the needs and expectations also exists towards the adoption of Web-based learning systems. In this respect, CSCL provides the technological infrastructure to conduct effective learning methodologies, since it allows the definition of new scenarios of learning as a social endeavor along with the means for their evaluation. In this paper, it is proposed the design of a methodology for the constructivist approach of collaborative learning based on the scientific method and the implementation of a Web-based framework for a course of logic circuits that support this model. The main contributions consist in (i) using the scientific method as a fundamental model for the acquisition of new knowledge derived from using software artifacts discovered and contributed by a community of students, and (ii) developing a computer-based framework that instruments this model in a new generation of CSCL frameworks","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"19 8","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132289414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Salvador Ibarra-Martínez, M. ChristianG.Quintero, J. L. D. L. R. Esteva, J. Castán
This paper present a novel mechanism based on a characteristic of physical agent named "degrees of situation" that aids to improve the coordination among heterogeneous intelligent agents. These systems can be represented by means of the "physical agent" paradigm. One typical implementation of physical agents is autonomous mobile cooperative robots. In our approach the physical agents have different automatic controllers to generate dynamical diversity in the team-work. Here, dynamic means dynamic temporal evolution of continuous variables of the controlled system. Therefore, the multi-agent systems can be considered as a team of heterogeneous intelligent agents with different capabilities that work together to fulfil some cooperative tasks. In particular, this paper is related to studies about how the team-work improves by the "degrees of situation" management. Result and conclusions are shown, emphasizing contributions of the approach in the improvement of the cooperative team-work
{"title":"An Approach based on New Coordination Mechanisms to Improve the Teamwork of Cooperative Intelligent Agents","authors":"Salvador Ibarra-Martínez, M. ChristianG.Quintero, J. L. D. L. R. Esteva, J. Castán","doi":"10.1109/ENC.2006.5","DOIUrl":"https://doi.org/10.1109/ENC.2006.5","url":null,"abstract":"This paper present a novel mechanism based on a characteristic of physical agent named \"degrees of situation\" that aids to improve the coordination among heterogeneous intelligent agents. These systems can be represented by means of the \"physical agent\" paradigm. One typical implementation of physical agents is autonomous mobile cooperative robots. In our approach the physical agents have different automatic controllers to generate dynamical diversity in the team-work. Here, dynamic means dynamic temporal evolution of continuous variables of the controlled system. Therefore, the multi-agent systems can be considered as a team of heterogeneous intelligent agents with different capabilities that work together to fulfil some cooperative tasks. In particular, this paper is related to studies about how the team-work improves by the \"degrees of situation\" management. Result and conclusions are shown, emphasizing contributions of the approach in the improvement of the cooperative team-work","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"353 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121626312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Da An, A. Woodward, P. Delmas, G. Gimel'farb, John Morris
In this paper, we compare three structured lighting techniques (gray code, gray code shift and stripe boundary) using mono or stereo camera systems to assess 3D reconstruction for human faces. The calibration technique specific to each system is described. The different algorithms were assessed quantitatively and qualitatively with respect to benchmark data obtained from a high precision 3D scanner. We demonstrate that although a mono camera system coupled to a LCD projector runs faster and at lower cost, the stereo camera system aided by structure lighting generates more accurate results
{"title":"Comparison of Active Structure Lighting Mono and Stereo Camera Systems: Application to 3D Face Acquisition","authors":"Da An, A. Woodward, P. Delmas, G. Gimel'farb, John Morris","doi":"10.1109/ENC.2006.8","DOIUrl":"https://doi.org/10.1109/ENC.2006.8","url":null,"abstract":"In this paper, we compare three structured lighting techniques (gray code, gray code shift and stripe boundary) using mono or stereo camera systems to assess 3D reconstruction for human faces. The calibration technique specific to each system is described. The different algorithms were assessed quantitatively and qualitatively with respect to benchmark data obtained from a high precision 3D scanner. We demonstrate that although a mono camera system coupled to a LCD projector runs faster and at lower cost, the stereo camera system aided by structure lighting generates more accurate results","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125729304","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A new approach to the problem of noise reduction in signals composed by superpositions of basis functions is proposed. The method is based on interpreting the components of signal models as nodes in a sparsely connected network of overlaps (scalar products). Every point in the data sample expresses an overlap. Networks of this kind, in which nodes carry information by means of vectors, define a knowledge network, a recently introduced concept in the field of statistical physics. Previous results on the statistical properties of knowledge networks are generalized to noise reduction and its shown that is possible to extract important hidden quantities. In particular, an algorithm capable to give estimates of the unknown number of degrees of freedom in signal models is constructed and tested
{"title":"Filtering by Sparsely Connected Networks Under the Presence of Strong Additive Noise","authors":"A. Berrones","doi":"10.1109/ENC.2006.15","DOIUrl":"https://doi.org/10.1109/ENC.2006.15","url":null,"abstract":"A new approach to the problem of noise reduction in signals composed by superpositions of basis functions is proposed. The method is based on interpreting the components of signal models as nodes in a sparsely connected network of overlaps (scalar products). Every point in the data sample expresses an overlap. Networks of this kind, in which nodes carry information by means of vectors, define a knowledge network, a recently introduced concept in the field of statistical physics. Previous results on the statistical properties of knowledge networks are generalized to noise reduction and its shown that is possible to extract important hidden quantities. In particular, an algorithm capable to give estimates of the unknown number of degrees of freedom in signal models is constructed and tested","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"4657 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129951529","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Active learning comes from experiencing phenomena; computing and computer technology requires a place for these experiences to occur. A "Smart Home" is a type of intelligent environment that can provide such a place for this experiential learning. Smart Homes continue to entice us with their promise of anticipating and meeting our needs as they unobtrusively adapt to our changing preferences and goals. The delivery of this promise, however, has met with limited success in terms of functionality and user acceptance. Many commercial and academic efforts are in progress to create true smart home systems. Taking these premises into consideration, students should have lab experiences that relate to both commercial technology as well as state-of-the-art research in computer science. The TCU Crescent Smart Home Lab has been defined to fill this need
{"title":"The Crescent Lab: A smart home lab for students","authors":"L. Burnell, Antonio Sánchez, J. Priest, C. Hannon","doi":"10.1109/ENC.2006.33","DOIUrl":"https://doi.org/10.1109/ENC.2006.33","url":null,"abstract":"Active learning comes from experiencing phenomena; computing and computer technology requires a place for these experiences to occur. A \"Smart Home\" is a type of intelligent environment that can provide such a place for this experiential learning. Smart Homes continue to entice us with their promise of anticipating and meeting our needs as they unobtrusively adapt to our changing preferences and goals. The delivery of this promise, however, has met with limited success in terms of functionality and user acceptance. Many commercial and academic efforts are in progress to create true smart home systems. Taking these premises into consideration, students should have lab experiences that relate to both commercial technology as well as state-of-the-art research in computer science. The TCU Crescent Smart Home Lab has been defined to fill this need","PeriodicalId":432491,"journal":{"name":"2006 Seventh Mexican International Conference on Computer Science","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114527229","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：