Search results for "COL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Marian Gheorghe 0001, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Turcanu, Luis Valencia-Cabrera, Manuel García-Quismondo, Laurentiu Mierla	3-Col problem modelling using simple kernel P systems.	Int. J. Comput. Math.	2013	DBLP DOI BibTeX RDF
27	Hsing-chin Lee	Investigating the effects of student learning of English using COL approach based on situational theories.	Comput. Hum. Behav.	2013	DBLP DOI BibTeX RDF
27	Piero Consoli, Mario Pavone	O-BEE-COL: Optimal BEEs for COLoring Graphs.	Artificial Evolution	2013	DBLP DOI BibTeX RDF
27	Yoann Dieudonné, Bertrand Ducourthial, Sidi-Mohammed Senouci	COL: A data collection protocol for VANET.	Intelligent Vehicles Symposium	2012	DBLP DOI BibTeX RDF
27	Jahed Sukhun, Mark Terui	Partnership between center for online learning (COL) and office of information technology: user support services (OIT-USS).	SIGUCCS	2012	DBLP DOI BibTeX RDF
27	Lorena Becerril Balín	Aprenentatge col·laboratiu amb suport de l'ordinador. Influència de la demanda en el procés i els resultats d'aprenentatge.		2011	RDF
27	Christof Wecker, Karsten Stegmann, Florian Bernstein, Michael J. Huber, Georg Kalus, Ingo Kollar, Sabine Rathmayer, Frank Fischer 0001	S-COL: A Copernican turn for the development of flexibly reusable collaboration scripts.	Int. J. Comput. Support. Collab. Learn.	2010	DBLP DOI BibTeX RDF
27	María-José Verdecho, Juan José Alfaro Saiz, Raúl Rodríguez-Rodríguez	COL-PMS: A Collaborative Performance Measurement System.	BASYS	2010	DBLP DOI BibTeX RDF
27	Christof Wecker, Karsten Stegmann, Florian Bernstein, Michael J. Huber, Georg Kalus, Sabine Rathmayer, Ingo Kollar, Frank Fischer 0001	Sustainable script and scaffold development for collaboration on varying web content: the S-COL technological approach.	CSCL (1)	2009	DBLP BibTeX RDF
27	Daniel Díaz-Pernil, Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez	A uniform family of tissue P systems with cell division solving 3-COL in a linear time.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
27	Christian Schmid	Grid Supported Virtual Laboratories with Col-laboration in Engineering Education.	Int. J. Online Eng.	2008	DBLP BibTeX RDF
27	Roberto Cruz	Upper bound on the non-colorability threshold of the 2+p-COL problem.	Electron. Notes Discret. Math.	2005	DBLP DOI BibTeX RDF
27	Evan Jones	An Acoustic Analysis of Col Legno Articulation in Iannis Xenakis's Nomos Alpha.	Comput. Music. J.	2002	DBLP DOI BibTeX RDF
27	Toby Walsh	The Interface between P and NP: COL, XOR, NAE, 1-in-k, and Horn SAT.	AAAI/IAAI	2002	DBLP BibTeX RDF
27	J. L. Gonzalez Ugarte, A. Sola Valls	Gestión de recursos electrónicos en las bibliotecas: CURIE (Col.lecció d' utilitats i recursos d' interès per a l' enginyer).	JBIDI	2001	DBLP BibTeX RDF
27	Juha Honkala	Results concerning EOL and COL power series.	Acta Cybern.	2000	DBLP BibTeX RDF
27	Edel Sherratt (eds.)	SAM 2000, 2nd Workshop on SDL and MSC, Col de Porte, Grenoble, France, June 26-28, 2000	SAM	2000	DBLP BibTeX RDF
27	F. A. Meijs	Connecting Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
27	Ketil Stølen, P. Mohn	Experience from Using MSC, UML and SDL in the Development of the FAME Communication Manager.	SAM	2000	DBLP BibTeX RDF
27	Francis Bordeleau, Donald Cameron	On the Relationship between use-case maps and Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
27	Stefan Bläsius, Stefan Karg, Josef Maier, Günther Kohler	Development of SDL Based Software for an Embedded System - Practical Experience.	SAM	2000	DBLP BibTeX RDF
27	François Terrier, Sébastien Gérard	Real Time System Modeling with UML: current status and some prospects.	SAM	2000	DBLP BibTeX RDF
27	Anca Muscholl, Doron A. Peled	Analyzing Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
27	Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent	SDL for Real-Time: What is Missing?	SAM	2000	DBLP BibTeX RDF
27	André Engels	Design Decisions on Data and Guards in MSC2000.	SAM	2000	DBLP BibTeX RDF
27	Nikolai Mansurov, Dmitri Vasura	Approximation of (H)MSC Semantics By Automata.	SAM	2000	DBLP BibTeX RDF
27	Karl Meinke	Validation and Test Case Generations for MSCs Using A Propositional SAT Solver.	SAM	2000	DBLP BibTeX RDF
27	Loïc Hélouët, Pierre Le Maigat	Decomposition of Message Sequence Charts.	SAM	2000	DBLP BibTeX RDF
27	Ferhat Khendek, Daniel Vincent	Enriching SDL Specifications with MSCs.	SAM	2000	DBLP BibTeX RDF
27	Stefan Heymer	A Semantics for MSC Based on Petri Net Components.	SAM	2000	DBLP BibTeX RDF
27	F. Boutet, E. Choveau, G. Rieux, Y. Lejeune	Scheduling in SDL Simulation. Application to Future Air Navigation Systems.	SAM	2000	DBLP BibTeX RDF
27	B. Rao	SDL Based Auto Code Generation: A Multi Beneficial Approach.	SAM	2000	DBLP BibTeX RDF
27	J. P. Albaladejo, Javier Poncela-González, José T. Entrambasaguas	Adaptation Of SOMT To The Development Of Systems Based Upon a Standard.	SAM	2000	DBLP BibTeX RDF
27	Olaf Henniger, Hasan Ural	Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications.	SAM	2000	DBLP BibTeX RDF
27	José María Álvarez 0002, Manuel Díaz, Luis Llopis, Ernesto Pimentel 0001, José M. Troya	SDL and hard real time systems: new design and analyze techniques.	SAM	2000	DBLP BibTeX RDF
27	Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw	Probabilities In The Torx Test Derivation Algorithm.	SAM	2000	DBLP BibTeX RDF
27	Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski	HyperMSC - a Graphical Representation of TTCN.	SAM	2000	DBLP BibTeX RDF
27	Andreas Prinz 0001, Robert Eschbach, Reinhard Gotzhein	A Executable Formal Semantics for SDL-2000.	SAM	2000	DBLP BibTeX RDF
27	Danièle Gardy	Methode de col et lois limites en analyse combinatoire.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
27	Serge Abiteboul, Stéphane Grumbach	COL: A Logic-Based Language for Complex Objects.	EDBT	1988	DBLP DOI BibTeX RDF
27	Mamoru Mitsuishi, Isao Shimoyama, Hirofumi Miura	Development of the concurrent process oriented language 'COL'.	Adv. Robotics	1987	DBLP DOI BibTeX RDF
27	Serge Abiteboul, Stéphane Grumbach	COL: A Logic-Based Language for Complex Objects.	DBPL	1987	DBLP DOI BibTeX RDF
27	Anna Kulker	Application de l'analyse quantitative des images au cyto-diagnostic des cancers du col de l'utérus. (Automated image analysis applied to diagnosis of cervical cancer).		1986	RDF
16	Kurt Luther, Amy S. Bruckman	Leadership in online creative collaboration.	CSCW	2008	DBLP DOI BibTeX RDF	online creative collaboration, animation, leadership
16	John Buck Surdu	Wargaming: past, present and future.	SpringSim	2008	DBLP DOI BibTeX RDF
16	Vibhuti S. Sengar, Tanuja Joshi, Joseph M. Joy, Samarth Prakash	Building a global location search service.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	crosslingual search, local search, spatial search, geocoding
16	Riitta Hekkala, Netta Iivari, Raija Halonen	"Too Many Cooks Spoiling a Soup"? Making Sense of a Distributed, Multi-party IS Project.	HICSS	2008	DBLP DOI BibTeX RDF
16	Miguel Angel Díaz, Luis Fernando de Mingo López, Nuria Gómez Blas, Juan Castellanos	Implementation of Massive Parallel Networks of Evolutionary Processors (MPNEP): 3-Colorability Problem.	NICSO	2007	DBLP DOI BibTeX RDF
16	Ramesh Nallapati, William W. Cohen, John D. Lafferty	Parallelized Variational EM for Latent Dirichlet Allocation: An Experimental Evaluation of Speed and Scalability.	ICDM Workshops	2007	DBLP DOI BibTeX RDF
16	Todd Mytkowicz, Peter F. Sweeney, Matthias Hauswirth, Amer Diwan	Time Interpolation: So Many Metrics, So Few Registers.	MICRO	2007	DBLP DOI BibTeX RDF
16	Friedhelm R. Drepper	Non-stationary Self-consistent Acoustic Objects as Atoms of Voiced Speech.	NOLISP	2007	DBLP DOI BibTeX RDF	instantaneous part-tone frequencies, fundamental drive, cascaded response, generalized synchro nization, voiced continuants, signal analysis
16	Won-Ju Yoon, Sang-Hwa Chung, Seong-Joon Lee, Young-Sik Moon	Design and Implementation of an Active RFID System for Fast Tag Collection.	CIT	2007	DBLP DOI BibTeX RDF
16	Jochen Quante	Online Construction of Dynamic Object Process Graphs.	CSMR	2007	DBLP DOI BibTeX RDF
16	Marc Spaniol, Yiwei Cao, Ralf Klamma	A Media Theoretical Approach to Technology Enhanced Learning in Non-technical Disciplines.	EC-TEL	2007	DBLP DOI BibTeX RDF	Non-Technical Disciplines, Multimedia, Technology Enhanced Learning, Media Theory
16	Guillaume Aucher, Andreas Herzig	From DEL to EDL : Exploring the Power of Converse Events.	ECSQARU	2007	DBLP DOI BibTeX RDF
16	Marco Leogrande, Claudio Pastrone, Maurizio A. Spirito, Riccardo Tomasi	A Framework for Flexible Packet Processing in Heterogeneous Sensor Networks.	FGCN (2)	2007	DBLP DOI BibTeX RDF
16	Domenico Bianculli, Carlo Ghezzi, Paola Spoletini	A Model Checking Approach to Verify BPEL4WS Workflows.	SOCA	2007	DBLP DOI BibTeX RDF
16	Thomas Bocek, Burkhard Stiller	Peer-to-Peer Large-Scale Collaborative Storage Networks. (PDF / PS)	AIMS	2007	DBLP DOI BibTeX RDF
16	Antônio Tadeu A. Gomes, Artur Ziviani, Luciana dos S. Lima, Markus Endler	DICHOTOMY: A Resource Discovery and Scheduling Protocol for Multihop Ad hoc Mobile Grids.	CCGRID	2007	DBLP DOI BibTeX RDF
16	Hoa Dung Ha Duong, Christian Melchiorre, Eike Michael Meyer, Ignacio Nieto, Gerard París, Patrizio Pelliccione, Frédérique Tastet-Cherel	A Software Architecture for Reliable Collaborative Working Environments.	WETICE	2007	DBLP DOI BibTeX RDF
16	Manfred Bortenschlager, Gabriele Kotsis, Marco Mamei, Nicola Bicocchi, Gabriella Castelli, Alberto Rosi, Franco Zambonelli	CoMA Workshop Final Report.	WETICE	2007	DBLP DOI BibTeX RDF
16	Marco Aiello 0001, Schahram Dustdar, Harald C. Gall	DMC Workshop Final Report.	WETICE	2007	DBLP DOI BibTeX RDF
16	Shaohua Liu, Junsheng Yu, Yuan'an Liu, Jun Wei, Peng Gao, Wei Li	Towards Small World for Collaborative Enterprises in Grid.	WETICE	2007	DBLP DOI BibTeX RDF
16	Marcel Arrufat, Gerard París, Pedro García López, Antonio Fernandez Gómez-Skarmeta	SCOMET: Adapting Collaborative Working Environments to the MANET Scenario.	WETICE	2007	DBLP DOI BibTeX RDF
16	Kurt Maly, Steven J. Zeil, Mohammad Zubair, Ashraf Amrou, Ali Aazhar, Naveen Ratkal	A Scriptable, Statistical Oracle for a Metadata Extraction System.	QSIC	2007	DBLP DOI BibTeX RDF
16	Yongjian Li, Jun Pang 0001	Extending the Strand Space Method to Verify Kerberos V.	PDCAT	2007	DBLP DOI BibTeX RDF
16	Krishna Subramanian 0001, Premkumar Natarajan, Michael Decerbo, David A. Castañón	Character-Stroke Detection for Text-Localization and Extraction.	ICDAR	2007	DBLP DOI BibTeX RDF
16	David S. Johnson	The NP-completeness column: The many limits on approximation.	ACM Trans. Algorithms	2006	DBLP DOI BibTeX RDF	label cover, Approximation algorithms, lower bounds, set cover, clique, probabilistically checkable proofs, Unique Games Conjecture
16	Stephanie M. Wilson, Julia Galliers, James Fone	Not all sharing is equal: the impact of a large display on small group collaborative work.	CSCW	2006	DBLP DOI BibTeX RDF	large shared display, public versus private work, shift handover
16	David S. Johnson	The NP-completeness column.	ACM Trans. Algorithms	2005	DBLP DOI BibTeX RDF	lattice bases, NP-completeness, coding theory, perfect graphs, primality testing, open problems
16	Jun Cheng 0003, Alex C. Kot, Jun Liu 0069, Hong Cao	Detection of data hiding in binary text images.	ICIP (3)	2005	DBLP DOI BibTeX RDF
16	Tanya L. Crenshaw, Ajay Tirumala, Spencer Hoke, Marco Caccamo	A Robust Implicit Access Protocol for Real-Time Wireless Collaboration.	ECRTS	2005	DBLP DOI BibTeX RDF
16	Michal Misiak	Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems.	WADT	2004	DBLP DOI BibTeX RDF
16	Dominik Engel, Sven Bertel, Thomas Barkowsky	Spatial Principles in Control of Focus in Reasoning with Mental Representations, Images, and Diagrams.	Spatial Cognition	2004	DBLP DOI BibTeX RDF
16	Jeongmin Lee 0006, Yeonghwan Tscha, Kyoon Ha Lee	Medium Access Control Protocol Using State Changeable Directional Antennas in Ad-Hoc Networks.	ICOIN	2003	DBLP DOI BibTeX RDF
16	Zan Ouyang, Nasir D. Memon, Torsten Suel, Dimitre Trendafilov	Cluster-Based Delta Compression of a Collection of Files.	WISE	2002	DBLP DOI BibTeX RDF
16	Hee-Cheol Kim 0001	From Comments to Dialogues: A Study of Asynchronous Dialogue Processes as Part of Collaborative Reviewing on the Web.	HICSS	2002	DBLP DOI BibTeX RDF	commenting function, multiple threads, written communication, HCI, CSCW, Web, annotation, email, collaborative writing, dialogue analysis, language game
16	Erdal Kemikli, Nadia Erdogan	Augmenting Object Persistency Paradigm for Faster Server Development.	ADVIS	2002	DBLP DOI BibTeX RDF
16	Roy Leung, Jilei Liu, Edmond Poon, Ah-Lot Charles Chan, Baochun Li	MP-DSR: A QoS-Aware Multi-Path Dynamic Source Routing Protocol for Wireless Ad-Hoc Networks.	LCN	2001	DBLP DOI BibTeX RDF
16	Aaron Striegel, G. Manimaran	A Scalable Protocol for Member Join/Leave in DiffServ Multicast.	LCN	2001	DBLP DOI BibTeX RDF
16	Seong-Ho Jeong, Myung Choi, Randal T. Abler, Henry L. Owen, John A. Copeland, Joachim Sokol	QoS Support for Real-Time Applications Using the Integration of RSVP/Intserv and Diffserv: A Testbed Experiment.	NETWORKING	2000	DBLP DOI BibTeX RDF
16	Federico Calì, Marco Conti, Enrico Gregori	Dynamic IEEE 802.11: Design, Modeling and Performance Evaluation.	NETWORKING	2000	DBLP DOI BibTeX RDF
16	Suely Oliveira, Takako Soma	New Partitioning Schemes for Parallel Modified Gram-Schmidt Orthogonalization.	ISPAN	1997	DBLP DOI BibTeX RDF	Gram-Schmidt Algorithms, MPI, data partitioning, orthogonalization, matrix computations
16	Georges Gardarin, Jerry Kiernan	Deductive Database Rule Languages: Analysis and Case Study.	IBM Symposium: Database Systems of the 90s	1990	DBLP DOI BibTeX RDF
16	Richard Hull 0001, Jianwen Su	Untyped Sets, Invention, and Computable Queries.	PODS	1989	DBLP DOI BibTeX RDF
16	Michael Kifer, James Wu	A Logic for Object-Oriented Logic Programming (Maier's O-Logic Revisited).	PODS	1989	DBLP DOI BibTeX RDF
16	Serge Abiteboul, Richard Hull 0001	Data Functions, Datalog and Negation (Extended Abstract).	SIGMOD Conference	1988	DBLP DOI BibTeX RDF	DAPLEX, DATALOG