language composition - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 5800

2012

2011

Advanced Composition in Virtual Camera ControlRafid Abdullah, Marc Christie, Guy Schofield, Christophe Lino, Patrick Olivier. sg 2011: 13-24 [doi]

OMChroma: Compositional Control of Sound SynthesisCarlos Agon, Jean Bresson, Marco Stroppa. comj, 35(2):67-83, 2011. [doi]

The largest missing value in a composition of an integerMargaret Archibald, Arnold Knopfmacher. DM, 311(8-9):723-731, 2011. [doi]

Compositional perspectives on human brain agingStilianos Arhondakis, Sophia Kossida. biosystems, 104(2-3):94-98, 2011. [doi]

Compositional synthesis of asynchronous automataNicolas Baudru. TCS, 412(29):3701-3716, 2011. [doi]

Composition of semi-LTCs by two-wise Tensor ProductsEli Ben-Sasson, Michael Viderman. eccc, 18:70, 2011. [doi]

Propositional Dynamic Logic with Storing, Recovering and Parallel CompositionMario R. F. Benevides, Renata P. de Freitas, Jorge Petrúcio Viana. ENTCS, 269:95-107, 2011. [doi]

Effects of Symmetry and Number of Compositional Elements on Chinese Users Aesthetic Ratings of Interfaces: Experimental and Modeling InvestigationsLuzheng Bi, Xinan Fan, Yili Liu. IJHCI, 27(3):245-259, 2011. [doi]

Automatic music composition using answer set programmingGeorg Boenn, Martin Brain, Marina De Vos, John Fitch. tplp, 11(2-3):397-427, 2011. [doi]

A Bayesian Method for the Detection of Epistasis in Quantitative Trait Loci using Markov Chain Monte Carlo Model Composition with Restricted Model SpacesEdward L. Boone, Susan J. Simmons, Karl Ricanek. icaart 2011: 71-78

A resource-based framework for interactive composition of multimedia documentsPaolo Bottoni, Riccardo Genzone. EICS 2011: 271-276 [doi]

QoS negotiation in service compositionMaria Grazia Buscemi, Ugo Montanari. jlp, 80(1):13-24, 2011. [doi]

Impact of restrictive composition policy on user password choicesJohn Campbell, Wanli Ma, Dale Kleeman. behaviourIT, 30(3):379-388, 2011. [doi]

How End-User Development Will Save Composition Technologies from Their Continuing FailuresFabio Casati. iseud 2011: 4-6 [doi]

Multi-agent Approach for Composition and Execution of Scenarios Based on Web ServicesKrzysztof Cetnarowicz, Jaroslaw Kozlak, Malgorzata Zabinska. cisis 2011: 478-483 [doi]

Anti-lecture hall compositions and overpartitionsWilliam Y. C. Chen, Doris D. M. Sang, Diane Y. H. Shi. JCT, 118(4):1451-1464, 2011. [doi]

On Flexible Web Services Composition NetworksChantal Cherifi, Vincent Labatut, Jean François Santucci. DICTAP 2011: 45-59 [doi]

PC:::2:::PSO: personalized e-course composition based on Particle Swarm OptimizationChih-Ping Chu, Yi-Chun Chang, Cheng-Chang Tsai. apin, 34(1):141-154, 2011. [doi]

Using Split Composition to Extend Distance-Hereditary Graphs in a Generative Way - (Extended Abstract)Serafino Cicerone. tamc 2011: 286-297 [doi]

Partition and composition matricesAnders Claesson, Mark Dukes, Martina Kubitzke. JCT, 118(5):1624-1637, 2011. [doi]

End-User Composition Interfaces for Smart Environments: A Preliminary Study of Usability FactorsYngve Dahl, Reidar-Martin Svendsen. hci 2011: 118-127 [doi]

Reuse vs. maintainability: revealing the impact of composition code propertiesFrancisco Dantas. ICSE 2011: 1082-1085 [doi]

The Compositional Construction of Markov ProcessesLuisa de Francesco Albasini, Nicoletta Sabadini, Robert F. C. Walters. acs, 19(1):425-437, 2011. [doi]

QoS-based Approach for Dynamic Web Service CompositionFrederico G. Alvares de Oliveira Jr., José M. Parente de Oliveira. jucs, 17(5):712-741, 2011. [doi]

Composition-induced structural transitions in mixed Lennard-Jones clusters: Global reparametrization and optimizationJohannes M. Dieterich, Bernd Hartke. jcc, 32(7):1377-1385, 2011. [doi]

Algorithmic composition: computational thinking in musicMichael Edwards. CACM, 54(7):58-67, 2011. [doi]

Model Composition in RosettaNicolas Frisby, M. Peck, Mark Snyder, Perry Alexander. ECBS 2011: 140-148 [doi]

Quasi-symmetric functions and up-down compositionsEvan Fuller, Jeffrey B. Remmel. DM, 311(16):1754-1767, 2011. [doi]

Quality factors for dynamic evolution in composition-based distributed applicationsKum Hay Fung, Graham C. Low. DB, 42(1):29-58, 2011. [doi]

Compositionality Entails SequentializabilityPranav Garg, P. Madhusudan. TACAS 2011: 26-40 [doi]

CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletonsIlias Garnier, Frédéric Gava. paapp, 26(4):251-273, 2011. [doi]

Compositional connectionism in cognitive science II: the localist/distributed dimensionRoss W. Gayler, Simon D. Levy. connection, 23(2):85-89, 2011. [doi]

Vertical Protocol CompositionThomas Groß, Sebastian Mödersheim. csfw 2011: 235-250 [doi]

Trustworthy Service Selection and CompositionChung-Wei Hang, Munindar P. Singh. taas, 6(1):5, 2011. [doi]

Safe Composition of TransformationsFlorian Heidenreich, Jan Kopcsek, Uwe Aßmann. jot, 10, 2011. [doi]

Constrained evolutionary computing approach to Web service compositionsChun-Che Huang, Wen-Yau Liang, Wei-Che Lee, Yung-Huan Lai. ijsysc, 42(10):1625-1638, 2011. [doi]

The effects of aircraft on climate and pollution. Part I: Numerical methods for treating the subgrid evolution of discrete size- and composition-resolved contrails from all commercial flights worldwideM. Z. Jacobson, J. T. Wilkerson, A. D. Naiman, Sanjiva K. Lele. jcphy, 230(12):5115-5132, 2011. [doi]

Evolutionary music composition based on Zipf s lawJohannes H. Jensen, Pauline C. Haddow. gecco 2011: 41-42 [doi]

Compositional models and conditional independence in evidence theoryRadim Jirousek, Jirina Vejnarová. ijar, 52(3):316-334, 2011. [doi]

When the functional composition drives the user interfaces composition: process and formalizationCédric Joffroy, Benjamin Caramel, Anne-Marie Dery, Michel Riveill. EICS 2011: 207-216 [doi]

Continual Planning with Sensing for Web Service CompositionEirini Kaldeli, Alexander Lazovik, Marco Aiello. AAAI 2011: 1198-1203 [doi]

Building Blocks for Language WorkbenchesLennart C. L. Kats. PhD thesis, Delft University of Technology, 2011.

Compositional Bayesian modelling for computation of evidence collection strategiesJeroen Keppens, Qiang Shen, Chris Price. apin, 35(1):134-161, 2011. [doi]

Model-Driven Development of Service Compositions for Enterprise InteroperabilityRavi Khadka, Brahmananda Sapkota, Luis Ferreira Pires, Marten van Sinderen, Slinger Jansen. In Enterprise Interoperability. Volume 76 of LNBIP, pages 177-190, Springer, 2011.

Anytime algorithm for QoS web service compositionHyunyoung Kil, Wonhong Nam. WWW 2011: 71-72 [doi]

Catastrophe Theory: An Enhanced Structural and Ontological Space in Music CompositionFani Kosona, Leontios J. Hadjileontiadis. mcm2 2011: 358-361 [doi]

An extensible, self contained, layered approach to context acquisitionDean Kramer, Anna Kocurova, Samia Oussena, Tony Clark, Peter Komisarczuk. In Proceedings of the Third International Workshop on Middleware for Pervasive Mobile and Embedded Computing. 2011: [doi]

Enriched Score Access for Computer Assisted Composition in PWGLMika Kuuskankare. mcm2 2011: 362-365 [doi]

Irreducible compositions of polynomials over finite fieldsMelsik K. Kyuregyan, Gohar M. Kyureghyan. dcc, 61(3):301-314, 2011. [doi]

Visualizing Process Composition and Load Balance in Parallel Coupled ModelsJ. Walter Larson. procedia, 4:831-840, 2011. [doi]

Streamlining Pattern Support Assessment for Service Composition LanguagesJörg Lenhard, Andreas Schönberger, Guido Wirtz. zeus 2011: 112-119 [doi]

Support for concurrent adaptation of multiple Web service compositions to maximize business metricsQinghua Lu, Vladimir Tosic. im 2011: 241-248 [doi]

Representation of Decision Making Process in Music Composition Based on Hypernetwork ModelTetsuya Maeshiro, Shin-ichi Nakayama, Midori Maeshiro. hci 2011: 109-117 [doi]

Assumptions and Guarantees for Compositional NoninterferenceHeiko Mantel, David Sands, Henning Sudbrock. csfw 2011: 218-232 [doi]

Composition and deployment of e-Health services over Wireless Sensor NetworksJosé-Fernán Martínez, Miguel S. Familiar, Iván Corredor, Ana Belén García, Sury Bravo, Lourdes López. mcm, 53(3-4):485-503, 2011. [doi]

Musical Composition and Gestural DiagramsGuerino Mazzola, Florian Thalmann. mcm2 2011: 151-164 [doi]

Mixture models for analysis of the taxonomic composition of metagenomesPeter Meinicke, Kathrin Petra Aßhauer, Thomas Lingner. bioinformatics, 27(12):1618-1624, 2011. [doi]

Dynamic User Task Composition Based on User PreferencesHamid Mukhtar, Djamel Belaïd, Guy Bernard. taas, 6(1):4, 2011. [doi]

A compositional framework for programming stochastically interacting robotsNils Napp, Eric Klavins. ijrr, 30(6):713-729, 2011. [doi]

Ontology-Based Composition and Matching for Dynamic Service CoordinationClaus Pahl, Veronica Gacitua-Decar, MingXue Wang, Kosala Yapa Bandara. caise 2011: 464-477 [doi]

Classifying short genomic fragments from novel lineages using composition and homologyDonovan H. Parks, Norman J. MacDonald, Robert G. Beiko. bmcbi, 12:328, 2011. [doi]

QoS-enabled and self-adaptive connectors for Web Services composition and coordinationJose Luis Pastrana, Ernesto Pimentel, Miguel Katrib. Comp. Lang., Syst. \& Struct., 37(1):2-23, 2011. [doi]

On the composition of time Petri netsFlorent Peres, Bernard Berthomieu, François Vernadat. deds, 21(3):395-424, 2011. [doi]

Current Technologies and Compositional Practices for Spatialization: A Qualitative and Quantitative AnalysisNils Peters, Georgios Marentakis, Stephen McAdams. comj, 35(1):10-27, 2011. [doi]

Identity Attributes Mining, Metrics Composition and Information Fusion Implementation Using Fuzzy Inference SystemJackson Phiri, Tie-jun Zhao, Jameson Mbale. jsw, 6(6):1025-1033, 2011. [doi]

Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial)André Platzer. cav 2011: 28-43 [doi]

A structured alternative to Prolog with simple compositional semanticsAntónio Porto. tplp, 11(4-5):611-627, 2011. [doi]

Analyzing the semantic content and persuasive composition of extremist media: A case study of texts produced during the Gaza conflictSheryl Prentice, Paul J. Taylor, Paul Rayson, Andrew Hoskins, Ben O Loughlin. isf, 13(1):61-73, 2011. [doi]

Intermodal registration of CTA and IVUS-VH, and its application on CTA-based plaque composition analysisZhen Qian, Gustavo Vazquez, Szilard Voros. isbi 2011: 419-423 [doi]

Toward Validated Composition in Component-Based Adaptive MiddlewareAnnie Ressouche, Jean-Yves Tigli, Oscar Carrillo. SC 2011: 165-180 [doi]

Careful with Composition: Limitations of the Indifferentiability FrameworkThomas Ristenpart, Hovav Shacham, Thomas Shrimpton. eurocrypt 2011: 487-506 [doi]

A Resemblance Study of Test Collections for World-altering Semantic Web ServicesHadi Saboohi, Sameem Abdul Kareem. In International Conference on Internet Computing and Web Services (ICICWS) in The International MultiConference of Engineers and Computer Scientists (IMECS). 2011: 716-720

A Resemblance Study of Test Collections for World-altering Semantic Web ServicesHadi Saboohi, Sameem Abdul Kareem. Preprint 2011.

Context-Aware Service CompositionIchiro Satoh. uic 2011: 267-279 [doi]

Functional composition in future networksManolis Sifalakis, A. Louca, Ghazi Bouabene, Michael Fry, Andreas Mauthe, David Hutchison. cn, 55(4):987-998, 2011. [doi]

Policy of Composition ? Composition of PoliciesSebastian Speiser. policy 2011: 121-124 [doi]

A Model for Automated Service Composition System in SOA EnvironmentPawel Stelmach, Adam Grzech, Krzysztof Juszczyszyn. ifip5-5 2011: 75-82 [doi]

Composition of scientific teams and publication productivity at a national science labBesiki Stvilia, Charles C. Hinnant, Katy Schindler, Adam Worrall, Gary Burnett, Kathleen Burnett, Michelle M. Kazmer, Paul F. Marty. jasis, 62(2):270-283, 2011. [doi]

Safe Composition of Configuration Knowledge-Based Software Product LinesLeopoldo Teixeira, Borba, P., Gheyi, R.. In Software Engineering (SBES), 2011 25th Brazilian Symposium on. 2011: 263-272 [doi]

Proof Composition for Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. In Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST). 2011:

Patterns for service compositionMatthias Tilsner, Adrian Fiech, Guangyao Zhan, Thomas Specht. c3s2e 2011: 133-137 [doi]

The influence of solder composition on the impact strength of lead-free solder ball grid array jointsH. Tsukamoto, T. Nishimura, S. Suenaga, S. D. McDonald, K. W. Sweatman, K. Nogita. mr, 51(3):657-667, 2011. [doi]

Concurrent Composition in the Bounded Quantum Storage ModelDominique Unruh. eurocrypt 2011: 467-486 [doi]

Restricted compositions and permutations: From old to new Gray codesVincent Vajnovszki, Rémi Vernay. ipl, 111(13):650-655, 2011. [doi]

Compositional connectionist structures based on ::::in situ:::: grounded representationsFrank van der Velde, Marc de Kamps. connection, 23(2):97-107, 2011. [doi]

Theoretical Aspects of Compositional Symbolic ExecutionDries Vanoverberghe, Frank Piessens. FASE 2011: 247-261 [doi]

Strong Paraconsistency by Separating Composition and Decomposition in Classical LogicPeter Verdée. wollic 2011: 272-292 [doi]

Multi-Level Modeling of Web Service Compositions with Transactional PropertiesK. Vidyasankar, Gottfried Vossen. JDM, 22(2):1-31, 2011. [doi]

Classification and Composition of QoS Attributes in Distributed, Heterogeneous SystemsElisabeth Vinek, Peter Paul Beran, Erich Schikuta. ccgrid 2011: 424-433 [doi]

Language and IDE Development, Modularization and Composition with MPSMarkus Völter. In Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2011. LNCS, Springer, 2011.

Shape, orientation, and crystalline composition of silver islands on Si(111)Dirk Wall, Sergey Tikhonov, Simon Sindermann, Detlef Spoddig, Christoph Hassel, Michael Horn-von Hoegen, Frank-Joachim Meyer zu Heringdorf. ibmrd, 55(4):9, 2011. [doi]

A novel approach for automated music composition using memetic algorithmsDerek Wells, Hala ElAarag. ACMse 2011: 155-159 [doi]

Symmetry and Composition in Probabilistic TheoriesAlexander Wilce. ENTCS, 270(2):191-207, 2011. [doi]

Research on Component Composition and Replacement with Formal SemanticsRuzhi Xu, Quansheng Wu, Peiguang Lin. jsw, 6(9):1640-1648, 2011. [doi]

A novel composition of 2 parallel robots for 6DOF workspaceYawei Yang, John F. O Brien. icra 2011: 6532-6535 [doi]

A formal and visual modeling approach to choreography based web services composition and conformance verificationW. L. Yeung. eswa, 38(10):12772-12785, 2011. [doi]

Visualizing and Assessing a Compositional Approach to Service-Oriented Business Process Design Using Unified Modelling Language (UML)Latef Oladimeji Yusuf, Olusegun Folorunso, Adio T. Akinwale, I. A. Adejumobi. ccsecis, 4(3):43-59, 2011. [doi]

Smart User Assistance Based on Dynamic Model CompositionRené Zilz, Peter Forbrig. hci 2011: 706-714 [doi]

Sign in or sign up to see more results.

runs on WebDSL