Search results for "co-elaboration"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Germano Resconi, Boris Kovalerchuk	Fusion in agent-based uncertainty theory and neural image of uncertainty.	IJCNN	2008	DBLP DOI BibTeX RDF
10	Juan Manuel Serrano, Sergio Saugar	Run-Time Semantics of a Language for Programming Social Processes.	CLIMA	2008	DBLP DOI BibTeX RDF
10	Axel Berndt, Knut Hartmann	The Functions of Music in Interactive Media.	ICIDS	2008	DBLP DOI BibTeX RDF	Interactive Media Music, Perception, History, Narration
10	Salvatore Vitabile, Salvatore Bono, Filippo Sorbello	An Embedded Real-Time Lane-Keeper for Automatic Vehicle Driving.	CISIS	2008	DBLP DOI BibTeX RDF
10	Antonella Galizia, Daniele D'Agostino, Andrea Clematis, Federica Viti, Alessandro Orro, Ivan Merelli, Luciano Milanesi	Enabling Parallel TMA Image Analysis in a Grid Environment.	CISIS	2008	DBLP DOI BibTeX RDF
10	Carmelo Militello, Vincenzo Conti, Filippo Sorbello, Salvatore Vitabile	A Novel Embedded Fingerprints Authentication System Based on Singularity Points.	CISIS	2008	DBLP DOI BibTeX RDF
10	Alexandre L. Correa, Cláudia M. L. Werner	Refactoring object constraint language specifications.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF
10	Thomas Eiter, Esra Erdem 0001, Michael Fink 0001, Ján Senko	Comparing action descriptions based on semantic preferences.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68T30, 68T27
10	Herwig Wendt, Patrice Abry	Multifractality Tests Using Bootstrapped Wavelet Leaders.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
10	Nan Niu, Steve M. Easterbrook	Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF	goal-oriented requirements analysis, formal concept analysis, early aspects, repertory grid technique
10	Witold Suryn, Francis Laverdière	The applicability analysis of ISO/IEC 9126 series of standards in telecom sector: the example of softswitch category of software.	Softw. Qual. J.	2007	DBLP DOI BibTeX RDF	Softswitch, Internal quality, Quality of telecom software, Quality attributes, Quality evaluation, ISO 9126
10	Christian Raymond, Frédéric Béchet, Nathalie Camelin, Renato de Mori, Géraldine Damnati	Sequential Decision Strategies for Machine Interpretation of Speech.	IEEE Trans. Speech Audio Process.	2007	DBLP DOI BibTeX RDF
10	Alois Ferscha	Informative Art Display Metaphors.	HCI (6)	2007	DBLP DOI BibTeX RDF	pervasive display systems, ambient intelligence, intelligent user interfaces, peripheral displays, informative art
10	Marion Wiethoff, Sascha M. Sommer, Sari Valjakka, Karel Van Isacker, Dionisis D. Kehagias, Evangelos Bekiaris	Specification of Information Needs for the Development of a Mobile Communication Platform to Support Mobility of People with Functional Limitations.	HCI (6)	2007	DBLP DOI BibTeX RDF	Content requirements, Action theory, Functional limitations, Virtual communities, Activity Theory
10	Alison Ruth, Jenine P. Beekhuyzen	Computer Mediated Banking: A Cross-Cultural Analysis of SMEs.	HCI (10)	2007	DBLP DOI BibTeX RDF	Internet, SME, banking
10	Camille Roth	Viable wikis: struggle for life in the wikisphere.	Int. Sym. Wikis	2007	DBLP DOI BibTeX RDF	user incentives, wikisphere, wikis, wikipedia, online communities, collaborative work, viability
10	Hashi Bai, Greydon Buckley, Mark Howard, Edward Lank	Tracking Observations: Using Handhelds and Computers for Classroom Observation Logging.	ICDS	2007	DBLP DOI BibTeX RDF
10	Youssef Bououlid Idrissi, Julie Vachon	A Context-Based Approach for the Discovery of Complex Matches Between Database Sources.	DEXA	2007	DBLP DOI BibTeX RDF	complex semantic matching, multi-strategy, context analysis
10	Yolanda Blanco-Fernández, José Juan Pazos-Arias, Alberto Gil-Solla, Manuel Ramos Cabrer, Martín López Nores	How to Overcome Stumbling Blocks of Traditional Personalization Paradigms.	MTSR	2007	DBLP DOI BibTeX RDF
10	Daniel K. Lee, Karl Crary, Robert Harper 0001	Towards a mechanized metatheory of standard ML.	POPL	2007	DBLP DOI BibTeX RDF	language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety
10	Derek Dreyer, Robert Harper 0001, Manuel M. T. Chakravarty, Gabriele Keller	Modular type classes.	POPL	2007	DBLP DOI BibTeX RDF	type systems, type inference, modules, type classes
10	Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastián Uchitel, Jeff Kramer	Detecting Implied Scenarios from Execution Traces.	WCRE	2007	DBLP DOI BibTeX RDF
10	Marja Harjumaa, Harri Oinas-Kukkonen	Persuasion Theories and IT Design.	PERSUASIVE	2007	DBLP DOI BibTeX RDF	persuasive systems, human-computer interaction, Design, information systems, human factors, persuasive technology
10	Paul Dan Cristea, Rodica Tuduce, Jan Cornelis 0001	Signal Analysis of Pathogens' Genomic Sequences.	FBIT	2007	DBLP DOI BibTeX RDF
10	Mikolaj Morzy	Mining Frequent Trajectories of Moving Objects for Location Prediction.	MLDM	2007	DBLP DOI BibTeX RDF
10	Renata Guanaes Machado, Marcos R. S. Borges, Stephanie A. Guerlain, José Orlando Gomes	An Observation Model for the Collaborative Analysis of Real Workplaces.	CSCWD	2007	DBLP DOI BibTeX RDF
10	Denner Guilhon, Allan Kardec Barros, Silvia Comani	ECG Compression by Efficient Coding.	ICA	2007	DBLP DOI BibTeX RDF	efficient coding, fetal magnetocardiogram, independent component analysis, electrocardiogram
10	Antonia Bertolino, Guglielmo De Angelis, Antonino Sabetta, Sebastian G. Elbaum	Scaling up SLA monitoring in pervasive environments.	ESSPE	2007	DBLP DOI BibTeX RDF
10	Sylvia B. Encheva, Sharil Tumin, Yuriy P. Kondratenko	Application of Paraconsistent Annotated Logic in Intelligent Systems.	ICIC (1)	2007	DBLP DOI BibTeX RDF	Intelligent infrastructures and automated methods, logic
10	Orides Morandin Jr., Edilson R. R. Kato, G. Rodrigo Araújo, V. Luciano Sasso	A modeling strategy for control and interlocking of an AMS using Virtual Petri Nets.	SMC	2007	DBLP DOI BibTeX RDF
10	Miriam Weinel, Chun Hu	Social presence and student perceptions in the blend of synchronous and asynchronous communication forms.	ICALT	2007	DBLP DOI BibTeX RDF
10	MinSeong Kim, Andy J. Wellings	Asynchronous event handling in the real-time specification for Java.	JTRES	2007	DBLP DOI BibTeX RDF	Java RTS, asynchronous event handling, jRate, leader&followers, monitor design, RTSJ, RI
10	Andreas Hanemann	Refining ITIL/eTOM Processes for Automation in Service Fault Management.	BDIM	2007	DBLP DOI BibTeX RDF
10	Thana Sukvaree, Asanee Kawtrakul, Jean Caelen	Thai Text Coherence Structuring with Coordinating and Subordinating Relations for Text Summarization.	CONTEXT	2007	DBLP DOI BibTeX RDF
10	Anke Dittmar, Peter Forbrig	Towards Activity Representations for Describing Task Dynamics.	TAMODIA	2007	DBLP DOI BibTeX RDF	dynamically planned on-the-fly activities, collaborative and multiple tasks, cognitive task models, activity representations, task modelling
10	Willem Pieterson, Jan van Dijk	Channel choice determinants; an exploration of the factors that determine the choice of a service channel in citizen initiated contacts.	DG.O	2007	DBLP BibTeX RDF	channel choice, citizen initiated contacts, service channels, e-government, multi-channeling
10	Alexandre L. Correa, Cláudia M. L. Werner, Márcio de Oliveira Barros	An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications.	MoDELS	2007	DBLP DOI BibTeX RDF
10	Chul Hwee Kim, John G. Hosking, John C. Grundy	Model Driven Design and Implementation of Statistical Surveys.	HICSS	2007	DBLP DOI BibTeX RDF	statistical surveys, visual language, visual environment
10	Karen S. Baker, Florence Millerand	Articulation Work Supporting Information Infrastructure Design: Coordination, Categorization, and Assessment in Practice.	HICSS	2007	DBLP DOI BibTeX RDF
10	Philippe Charles, Robert M. Fuhrer, Stanley M. Sutton Jr.	IMP: a meta-tooling platform for creating language-specific ides in eclipse.	ASE	2007	DBLP DOI BibTeX RDF	IDE workbench, meta-tooling, generation, eclipse, IDE
10	Sebastián Uchitel, Greg Brunet, Marsha Chechik	Behaviour Model Synthesis from Properties and Scenarios.	ICSE	2007	DBLP DOI BibTeX RDF
10	Nikolay Y. Nikolaev, Evgueni N. Smirnov	A One-Step Unscented Particle Filter for Nonlinear Dynamical Systems.	ICANN (1)	2007	DBLP DOI BibTeX RDF
10	Herwig Mannaert, Philip Huysmans, Paul Adriaenssens	Connecting Industrial Controllers to the Internet through Software Composition in Web Application Servers.	ICIW	2007	DBLP DOI BibTeX RDF
10	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	Goal and scenario validation: a fluent combination.	Requir. Eng.	2006	DBLP DOI BibTeX RDF
10	Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel	Design by Contract to Improve Software Vigilance.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	programming by contract, metrics, diagnostics, Object-oriented design methods
10	Leonardo Candela, Donatella Castelli, Pasquale Pagano, Manuele Simi	OpenDLibG: Extending OpenDLib by Exploiting a gLite Grid Infrastructure.	ECDL	2006	DBLP DOI BibTeX RDF
10	Hernán Astudillo, Javier Pereira, Claudia López	Identifying "Interesting" Component Assemblies for NFRs Using Imperfect Information.	EWSA	2006	DBLP DOI BibTeX RDF
10	François Scharffe	Schema Mappings for the Web.	ISWC	2006	DBLP DOI BibTeX RDF
10	Matteo Murgida, Alessandro Panella, Vincenzo Rana, Marco D. Santambrogio, Donatella Sciuto	Fast IP-Core Generation in a Partial Dynamic Reconfiguration Workflow.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
10	Giuseppe Bonfini, Monica Chiavacci, Riccardo Mariani, Egidio Pescari	A mixed-signal verification kit for verification of analogue-digital circuits.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
10	Chakkanart Vivatanavorasin, Nakornthip Prompoon, Athasit Surarerks	A Process Model Design and Tool Development for Supplier Agreement Management of CMMI: Capability Level 2.	APSEC	2006	DBLP DOI BibTeX RDF
10	Shahzad Anwer, Naveed Ikram	Goal Oriented Requirement Engineering: A Critical Study of Techniques.	APSEC	2006	DBLP DOI BibTeX RDF
10	Louis Marinos	Risk Management and Risk Assessment at ENISA: Issues and Challenges.	ARES	2006	DBLP DOI BibTeX RDF	Interoperability of methods, Comparability of methods, Emerging Risks, Risk Management, Risk Assessment
10	Mira Balaban, Azzam Maraee	Consistency of UML Class Diagrams with Hierarchy Constraints.	NGITS	2006	DBLP DOI BibTeX RDF
10	Jean-Daniel Boissonnat, Steve Oudot	Provably good sampling and meshing of Lipschitz surfaces.	SCG	2006	DBLP DOI BibTeX RDF	Lipschitz radius, Lipschitz surfaces, sampling conditions, surface meshing, local feature size
10	Virginio Cantoni, Luca Lombardi, Paolo Lombardi	Challenges for Data Mining in Distributed Sensor Networks.	ICPR (1)	2006	DBLP DOI BibTeX RDF
10	Jamil Coimbra Diuana, Oscar Luiz Monteiro de Farias, Orlando Bernardo Filho	Simulation of the Dissemination of Slums in Cities through Reactive Agents.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
10	Michael Higgins, Stuart F. Roth, Jeffrey Senn, Peter Lucas 0002, Dominic Widdows	Managing Distributed Collaboration in a Peer-to-Peer Network.	OTM Conferences (1)	2006	DBLP DOI BibTeX RDF
10	Yongliang Shi, Jin Liu, Rusong Wang, Min Chen	Developing Methodologies of Knowledge Discovery and Data Mining to Investigate Metropolitan Land Use Evolution.	PRICAI	2006	DBLP DOI BibTeX RDF	Spatial and temporal reasoning, Data mining, Machine learning, Knowledge discovery
10	Basim Alhadidi	Middleware as an Infrastructure for Network Applications.	ITNG	2006	DBLP DOI BibTeX RDF
10	Éric Brangie, Pascal Tisserant	La soumission et la domination culturelle dans les interfaces: analyse lexicale comparative de 100 sites web personnel français et québécois.	IHM	2006	DBLP DOI BibTeX RDF	home page, interface, culture, identity, domination
10	Sean McLaughlin	An Interpretation of Isabelle/HOL in HOL Light.	IJCAR	2006	DBLP DOI BibTeX RDF
10	Félix Buendía, Antonio Hervás Jorge	An Evaluation Framework for e-Learning Platforms Based on Educational Standard Specifications.	ICALT	2006	DBLP DOI BibTeX RDF
10	Abderrahim Danine, Bernard Lefebvre, André Mayers	TIDES - Using Bayesian Networks for Student Modeling.	ICALT	2006	DBLP DOI BibTeX RDF
10	Lars Frantzen, Jan Tretmans	Model-Based Testing of Environmental Conformance of Components.	FMCO	2006	DBLP DOI BibTeX RDF
10	Diane Jamieson, Kevin Vinsen, Guy Callender	Agile Procurement and Dynamic Value for Money to Facilitate Agile Software Projects.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
10	Wei-Chang Kong, Yu-Ting Caisy Hung	Modeling Initial and Repeat Online Trust in B2C E-Commerce.	HICSS	2006	DBLP DOI BibTeX RDF
10	Ivo Boblan, Rudolf Bannasch, Andreas Schulz, Hartmut Schwenk	A Human-Like Robot Torso ZAR5 with Fluidic Muscles: Toward a Common Platform for Embodied AI.	50 Years of Artificial Intelligence	2006	DBLP DOI BibTeX RDF	embodied artificial intelligence, biological archetype, biological inspired construction, fluidic muscle, muscle-tendon system, weight saving construction, common platform, humanoid robot
10	Jinyu Zhang, Xiaoming Li	The New Architecture of Realcourse.	GCC Workshops	2006	DBLP DOI BibTeX RDF
10	Xiaoming Li, Barry M. Lunt	Undergraduate computing education in China: a brief status and perspective.	SIGITE Conference	2006	DBLP DOI BibTeX RDF
10	Vangelis Kourakos Mavromichalis, George A. Vouros	Behaviour Flexibility in Dynamic and Unpredictable Environments: The ICagent Approach.	SETN	2006	DBLP DOI BibTeX RDF
10	Laurent Perrussel, Jean-Marc Thévenin, Thomas Andreas Meyer	Mutual enrichment through nested belief change.	AAMAS	2006	DBLP DOI BibTeX RDF	multi-agent systems, belief revision, reasoning about action
10	Minh Hoai Nguyen, Wayne Wobcke	A Flexible Framework for SharedPlans.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
10	G. V. Lasko, Ye. Ye. Deryugin, Siegfried Schmauder	Simulation of the Evolution of Band Structures in Polycrystals on the Basis of Relaxation Element Method and Cellular Automata.	ACRI	2006	DBLP DOI BibTeX RDF
10	Benet Devereux, Marsha Chechik	Automated Support for Building Behavioral Models of Event-Driven Systems.	FASE	2006	DBLP DOI BibTeX RDF
10	Boris Shishkov, Dick A. C. Quartel	Combining SDBC and ISDL in the Modeling and Refinement of Business Processes.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF	SDBC, ISDL, Refinement, System design, Business process modeling
10	Sergey N. Ivanov, Alexander V. Lyakh	Enhancement of agro-industrial complex competitiveness through it-based information system in transition economies: Case for Ukraine.	Oper. Res.	2005	DBLP DOI BibTeX RDF	agro-industrial complex (AIC) of Ukraine, information needs of agro-industrial firms, farmers and individuals keeping plot of land for agriculture IT-based information system, decision support system, education and training
10	Mohammed Sadgal, Aziz El Fazziki, Abdellah Ait Ouahman	Aerial image processing and object recognition.	Vis. Comput.	2005	DBLP DOI BibTeX RDF	modeling, cooperation, recognition, Categorization, aerial image
10	Arosha K. Bandara, Emil C. Lupu, Alessandra Russo, Naranker Dulay, Morris Sloman, Paris Flegkas, Marinos Charalambides, George Pavlou	Policy refinement for DiffServ quality of service management.	Integrated Network Management	2005	DBLP DOI BibTeX RDF
10	Dirk Wilking	Agile Methods for Embedded Systems.	XP	2005	DBLP DOI BibTeX RDF
10	Maziar Goudarzi, Shaahin Hessabi	The ODYSSEY Tool-Set for System-Level Synthesis of Object-Oriented Models.	SAMOS	2005	DBLP DOI BibTeX RDF
10	Douglas B. Lenat	Scaling Up: Computers vs. Common Sense.	LPAR	2005	DBLP DOI BibTeX RDF
10	Franco Fummi, Stefano Martini, Giovanni Perbellini, Fabio Ricciato, Maura Turolla	Embedded SW Design Issues for Distributed Applications on Mobile Terminals.	MobiQuitous	2005	DBLP DOI BibTeX RDF
10	James Pustejovsky, Jessica Littman, Roser Saurí	Arguments in TimeML: Events and Entities.	Annotating, Extracting and Reasoning about Time and Events	2005	DBLP DOI BibTeX RDF
10	Stephen P. Masticola, Andre B. Bondi, Mark Hettish	Model-Based Scalability Estimation in Inception-Phase Software Architecture.	MoDELS	2005	DBLP DOI BibTeX RDF
10	Edward Nawarecki, Jaroslaw Kozlak, Grzegorz Dobrowolski, Marek Kisiel-Dorohinicki	Discovery of Crises via Agent-Based Simulation of a Transportation System.	CEEMAS	2005	DBLP DOI BibTeX RDF
10	Gleison Santos, Karina Villela, Mariano Montoni, Ana Regina Rocha, Guilherme Horta Travassos, Sávio Figueiredo 0001, Sômulo Nogueira Mafra, Adriano Albuquerque, Benito Diaz Paret, Márcio Pecegueiro do Amaral	Knowledge Management in a Software Development Environment to Support Software Processes Deployment.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
10	Ana Paula M. Braga, Ricardo Carnevalli, Petr Ekel, Marcelo Gontijo, Marcio Junges, Bernadete Maria de Mendonça Neta, Reinaldo M. Palhares	Fuzzy Logic Based Control of Voltage and Reactive Power in Subtransmission System.	PReMI	2005	DBLP DOI BibTeX RDF
10	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.	FM	2005	DBLP DOI BibTeX RDF
10	Ramón F. Brena, Emmanuel Martinez	Maximizing Future Options: An On-Line Real-Time Planning Method.	MICAI	2005	DBLP DOI BibTeX RDF
10	John Sanguinetti	The process of higher level design.	SBCCI	2005	DBLP DOI BibTeX RDF
10	Tran Hoai Nam, Chitta Baral, Vinay J. Nagaraj, Lokesh Joshi	Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks.	DILS	2005	DBLP DOI BibTeX RDF
10	Chen Liu, Qun Li 0004, Weiping Wang 0002, Yifan Zhu	Extend SRML schema based on DEVS: an executable DEVS language.	WSC	2005	DBLP DOI BibTeX RDF
10	Boby George, Shawn A. Bohner, Nannan He	Towards a Model Level Debugger for the Cougaar Model Driven Architecture System.	WRAC	2005	DBLP DOI BibTeX RDF
10	Norman Ramsey, Kathleen Fisher, Paul Govereau	An expressive language of signatures.	ICFP	2005	DBLP DOI BibTeX RDF	signature manipulation, interfaces, signatures, standard ML, objective Caml, programming in the large
10	René Chalon, Bertrand T. David	Vidéo TableGate: une table de réalité mixte collaborative et ses applications.	IHM	2005	DBLP DOI BibTeX RDF	mix reality, cooperative work
10	Sooyol Ok, DuckSool Kim	Evolution of the CPG with Sensory Feedback for Bipedal Locomotion.	ICNC (2)	2005	DBLP DOI BibTeX RDF
10	Javier Andrade Garda, Juan Ares Casal, Rafael García Vázquez, Santiago Rodríguez Yáñez, María Seoane, Sonia Suárez	A Pedagogical Overview on e-Learning.	KES (2)	2005	DBLP DOI BibTeX RDF
10	David L. Moreno, Carlos Vázquez Regueiro, Roberto Iglesias, Senén Barro	Making Use of Unelaborated Advice to Improve Reinforcement Learning: A Mobile Robotics Approach.	ICAPR (1)	2005	DBLP DOI BibTeX RDF
10	Urs Künzler, Christoph Runde	Kinesthetic Haptics Integration into Large-Scale Virtual Environments.	WHC	2005	DBLP DOI BibTeX RDF