Search results for "formalism"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	David Lo 0001, G. Ramalingam, Venkatesh Prasad Ranganath, Kapil Vaswani	Mining quantified temporal rules: Formalism, algorithms, and evaluation.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
13	Thomas E. Gorochowski, Mario di Bernardo, Claire S. Grierson	Evolving dynamical networks: A formalism for describing complex systems.	Complex.	2012	DBLP DOI BibTeX RDF
13	Jing Xin Cui, Tao Zhou 0003, Gui-Lu Long 0001	Density matrix formalism of duality quantum computer and the solution of zero-wave-function paradox.	Quantum Inf. Process.	2012	DBLP DOI BibTeX RDF
13	Henk Bruin, Mike Todd	Transience and thermodynamic formalism for infinitely branched interval maps.	J. Lond. Math. Soc.	2012	DBLP DOI BibTeX RDF
13	Luc Steels (eds.)	Computational Issues in Fluid Construction Grammar - A New Formalism for the Representation of Lexicons and Grammars		2012	DBLP DOI BibTeX RDF
13	Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg	Towards a Rigorous Modeling Formalism for Systems of Systems.	ISORC Workshops	2012	DBLP DOI BibTeX RDF
13	Frank Heitmann, Michael Köhler-Bußmeier	P- and T-Systems in the Nets-within-Nets-Formalism.	Petri Nets	2012	DBLP DOI BibTeX RDF
13	Vikas Shivashankar, Ugur Kuter, Dana S. Nau, Ronald Alford	A hierarchical goal-based formalism and algorithm for single-agent planning.	AAMAS	2012	DBLP BibTeX RDF
13	Stefan Simon, Steven Liu	A new object-oriented fault detection and isolation strategy based on bond-graph formalism.	ACC	2012	DBLP DOI BibTeX RDF
13	Dmitry V. Zenkov, Melvin Leok, Anthony M. Bloch	Hamel's formalism and variational integrators on a sphere.	CDC	2012	DBLP DOI BibTeX RDF
13	Luciana Morogan, Ajith Abraham	A formalism of the object compounds viewed as information processing support.	ISDA	2012	DBLP DOI BibTeX RDF
13	Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon	A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints.	ICAART (1)	2012	DBLP BibTeX RDF
13	Subhasis Dasgupta, Aditya Bagchi	A Graph-Based Formalism for Controlling Access to a Digital Library Ontology.	CISIM	2012	DBLP DOI BibTeX RDF
13	Alexei V. Samsonovich	Modeling Social Emotions in Intelligent Agents Based on the Mental State Formalism.	AAAI Fall Symposium: Artificial Intelligence of Humor	2012	DBLP BibTeX RDF
13	Samuel Kounev, Simon Spinner, Philipp Meier	Introduction to queueing petri nets: modeling formalism, tool support and case studies.	ICPE	2012	DBLP DOI BibTeX RDF
13	Jens Pfau, Liz Sonenberg, Yoshihisa Kashima	Towards a Computational Formalism for a Grounding Model of Cultural Transmission.	SocialCom/PASSAT	2012	DBLP DOI BibTeX RDF
13	Yury Korolev, Dmitry G. Korzun, Ivan V. Galov	Smart Space Applications Integration: A Mediation Formalism and Design for Smart-M3.	NEW2AN	2012	DBLP DOI BibTeX RDF
13	David Fabian, Radek Marík, Tomás Oberhuber	Towards a Formalism of Configuration Properties Propagation.	Configuration Workshop	2012	DBLP BibTeX RDF
13	Christoph J. Stettina, Werner Heijstek, Tor Erlend Fægri	Documentation Work in Agile Teams: The Role of Documentation Formalism in Achieving a Sustainable Practice.	AGILE	2012	DBLP DOI BibTeX RDF
13	Thomas Nowotny, Ramón Huerta	On the equivalence of Hebbian learning and the SVM formalism.	CISS	2012	DBLP DOI BibTeX RDF
13	Christian Chiarcos	A generic formalism to represent linguistic corpora in RDF and OWL/DL.	LREC	2012	DBLP BibTeX RDF
13	Pedro Feijão, João Meidanis	Extending the Algebraic Formalism for Genome Rearrangements to Include Linear Chromosomes.	BSB	2012	DBLP DOI BibTeX RDF
13	Ayoub Ait Lahcen, Didier Parigot, Salma Mouline	Defining and Analyzing P2P Applications with a Data-Dependency Formalism.	PDCAT	2012	DBLP DOI BibTeX RDF
13	Hans-Georg Fill, Timothy Redmond, Dimitris Karagiannis	FDMM: A Formalism for Describing ADOxx Meta Models and Models.	ICEIS (3)	2012	DBLP BibTeX RDF
13	Bastien Poggi, Thierry Antoine-Santoni	Wireless Sensor Network deployment using DEVS formalism and GIS representation.	SPECTS	2012	DBLP BibTeX RDF
13	Ilias Garnier	Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques. (Formalism for the high-level design of hard real-time embedded systems).		2012	RDF
13	Katrien Beuls	Handling Scope in Fluid Construction Grammar: A Case Study for Spanish Modals.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Chrisantha Fernando	Fluid Construction Grammar in the Brain.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Martin Loetzsch	Tools for Grammar Engineering.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Josefina Sierra-Santibáñez	A Logic Programming Approach to Parsing and Production in Fluid Construction Grammar.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Sebastian Höfer	Complex Declension Systems and Morphology in Fluid Construction Grammar: A Case Study of Polish.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Luc Steels	Design Methods for Fluid Construction Grammar.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Kateryna Gerasymova	Expressing Grammatical Meaning with Morphology: A Case Study for Russian Aspect.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Kevin Stadler	Chunking Constructions.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Remi van Trijp	A Reflective Architecture for Robust Language Processing and Learning.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Nancy Chang, Joachim De Beule, Vanessa Micelli	Computational Construction Grammar: Comparing ECG and FCG.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Liviu Ciortuz, Vlad Saveluc	Fluid Construction Grammar and Feature Constraint Logics.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Vanessa Micelli	Field Topology and Information Structure: A Case Study for German Constituent Order.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Joachim De Beule	A Formal Deconstruction of Fluid Construction Grammar.	Computational Issues in Fluid Construction Grammar	2012	DBLP DOI BibTeX RDF
13	Thomas Augustin, Cord Hockemeyer, Michael D. Kickmeier-Rust, Dietrich Albert	Individualized Skill Assessment in Digital Learning Games: Basic Definitions and Mathematical Formalism.	IEEE Trans. Learn. Technol.	2011	DBLP DOI BibTeX RDF	noninvasive competence assessment, microadaptivity, knowledge space theory, Game-based learning
13	Ding Pan	On Formalism of Continuous Knowledge Discovery and Temporal Granularity.	J. Softw.	2011	DBLP DOI BibTeX RDF
13	Kiyoshi Nishiyama	A New Formalism of the Sliding Window Recursive Least Squares Algorithm and Its Fast Version.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2011	DBLP DOI BibTeX RDF
13	Anil Kumar Thurimella	On the communication problem between domain engineering and application engineering: formalism using sets, conflicts of-interests and artifact redundancies.	ACM SIGSOFT Softw. Eng. Notes	2011	DBLP DOI BibTeX RDF
13	Lynda Mokdad, Jalel Ben-Othman	Admission control mechanism and performance analysis based on stochastic automata networks formalism.	J. Parallel Distributed Comput.	2011	DBLP DOI BibTeX RDF
13	Sylvain Saïghi, Yannick Bornat, Jean Tomas, Gwendal Le Masson, Sylvie Renaud	A Library of Analog Operators Based on the Hodgkin-Huxley Formalism for the Design of Tunable, Real-Time, Silicon Neurons.	IEEE Trans. Biomed. Circuits Syst.	2011	DBLP DOI BibTeX RDF
13	Peter G. Bishop, Robin E. Bloomfield, Bev Littlewood, Andrey Povyakalo, David Wright 0001	Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems.	IEEE Trans. Software Eng.	2011	DBLP DOI BibTeX RDF	Bayesian probability, software reliability, safety case
13	Jonathan P. Seldin	Curry's Formalism as Structuralism.	Logica Universalis	2011	DBLP DOI BibTeX RDF
13	Frederick A. Matsen IV, Aaron Gallagher	Reconciling taxonomy and phylogenetic inference: formalism and algorithms for describing discord and inferring taxonomic roots	CoRR	2011	DBLP BibTeX RDF
13	Marius Buliga	Computing with space: a tangle formalism for chora and difference.	CoRR	2011	DBLP BibTeX RDF
13	Norihito Toyota	Separation Number and Generalized Clustering Coefficient in Small World Networks based on String Formalism	CoRR	2011	DBLP BibTeX RDF
13	Mark-Jan Nederhof, Giorgio Satta	IDL-Expressions: A Formalism for Representing and Parsing Finite Languages in Natural Language Processing	CoRR	2011	DBLP BibTeX RDF
13	Anas Quteishat, Chee Peng Lim, Junita Mohamad-Saleh, Jeffrey Tweedale, Lakhmi C. Jain	A neural network-based multi-agent classifier system with a Bayesian formalism for trust measurement.	Soft Comput.	2011	DBLP DOI BibTeX RDF
13	Dulce Calçada, Susana Vinga, Ana T. Freitas, Arlindo L. Oliveira	Quantitative Modeling of the Saccharomyces cerevisiae Flr1 regulatory Network Using an S-System Formalism.	J. Bioinform. Comput. Biol.	2011	DBLP DOI BibTeX RDF
13	Fahad A. Shiginah, Bernard P. Zeigler	A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations.	Simul. Model. Pract. Theory	2011	DBLP DOI BibTeX RDF
13	Xavier Claeys, Francis Collino	Asymptotic and numerical analysis for Holland and Simpson's thin wire formalism.	J. Comput. Appl. Math.	2011	DBLP DOI BibTeX RDF
13	Norihiro Kamide	Phase semantics for linear-time formalism.	Log. J. IGPL	2011	DBLP DOI BibTeX RDF
13	Hanno Hildmann, Jule Hildmann	A Formalism to Define, Assess and Evaluate Player Behaviour in Mobile Device Based Serious Games.	Serious Games and Edutainment Applications	2011	DBLP DOI BibTeX RDF
13	Stefan Farfeleder, Thomas Moser, Andreas Krall, Tor Stålhane, Herbert Zojer, Christian Panis	DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development.	DDECS	2011	DBLP DOI BibTeX RDF
13	Sandra Eliza Fontes de Avila, Nicolas Thome, Matthieu Cord, Eduardo Valle, Arnaldo de Albuquerque Araújo	BOSSA: Extended bow formalism for image classification.	ICIP	2011	DBLP DOI BibTeX RDF
13	Anita Zakrzewska, Erik M. Ferragut	Modeling cyber conflicts using an extended Petri Net formalism.	CICS	2011	DBLP DOI BibTeX RDF
13	Steven J. Landry, Chittayong Surakitbanharn	A Formalism for Assessing the Situation Awareness of Pilots.	HCI (21)	2011	DBLP DOI BibTeX RDF
13	Stefano Di Carlo, Giulio Gambardella, Marco Indaco, Daniele Rolfo, Paolo Prinetto	A unifying formalism to support automated synthesis of SBSTs for embedded caches.	EWDTS	2011	DBLP DOI BibTeX RDF
13	Keiji Hirata 0001, Satoshi Tojo, Masatoshi Hamanaka	Melodic Morphing Algorithm in Formalism.	MCM	2011	DBLP DOI BibTeX RDF
13	Vahid Khanagha, Khalid Daoudi, Oriol Pont, Hussein M. Yahia	Improving text-independent phonetic segmentation based on the Microcanonical Multiscale Formalism.	ICASSP	2011	DBLP DOI BibTeX RDF
13	Gabriel G. Infante López, Martín Ariel Domínguez	A New General Grammar Formalism for Parsing.	MICAI (1)	2011	DBLP DOI BibTeX RDF
13	Xiaobo Li 0003, Hans Vangheluwe, Yonglin Lei, Hongyan Song, Weiping Wang 0002	A testing framework for DEVS formalism implementations.	SpringSim (TMS-DEVS)	2011	DBLP BibTeX RDF
13	Dulce Calçada, Susana Vinga, Ana T. Freitas, Arlindo L. Oliveira	Quantitative Modeling the Saccharomyces cerevisiae FLR1 Regulatory Network Using an S-System Formalism.	HISB	2011	DBLP DOI BibTeX RDF
13	Nader Cheaib, Samir Otmane, Malik Mallem	A machine-machine collaboration formalism based on web services for groupware tailorability.	CSCWD	2011	DBLP DOI BibTeX RDF
13	Oriol Pont, Michel Haïssaguerre, Hussein M. Yahia, Nicolas Derval, Mélèze Hocini	A Novel Analysis Method to Characterize Heartbeat Dynamics through the Microcanonical Multiscale Formalism.	MDA	2011	DBLP BibTeX RDF
13	Barbara Gallina, Sasikumar Punnekkat	FI4FA: A Formalism for Incompletion, Inconsistency, Interference and Impermanence Failures' Analysis.	EUROMICRO-SEAA	2011	DBLP DOI BibTeX RDF
13	Taiga Nakamura, Hironori Takeuchi, Futoshi Iwama, Ken Mizuno	Enabling Analysis and Measurement of Conventional Software Development Documents Using Project-Specific Formalism.	IWSM/Mensura	2011	DBLP DOI BibTeX RDF
13	Boris Moltchanov	Context representation formalism and its integration into context as a service in clouds.	Kaleidoscope	2011	DBLP BibTeX RDF
13	Paul A. Crook, Brieuc Roblin, Hans-Wolfgang Loidl, Oliver Lemon	Parallel Computing and Practical Constraints when applying the Standard POMDP Belief Update Formalism to Spoken Dialogue Management.	IWSDS	2011	DBLP DOI BibTeX RDF
13	Keem Siah Yap	A new multi agent system based on online sequential extreme learning machines and Bayesian Formalism.	ICNSC	2011	DBLP DOI BibTeX RDF
13	François Rongère, Wisama Khalil, Jean-Michel Kobus	Dynamic modeling and simulation of rowing with a robotics formalism.	MMAR	2011	DBLP DOI BibTeX RDF
13	Han Choi, Sung Deok Cha, Jae Yeon Jo, Junbeom Yoo, Hae Young Lee, Wontae Kim 0001	Formal Verification of DEV&DESS Formalism Using Symbolic Model Checker HyTech.	FGIT-CA/CES3	2011	DBLP DOI BibTeX RDF
13	Francesco Mele, Antonio Sorgente	A Formalism for Temporal Annotation and Reasoning of Complex Events in Natural Language.	DART@AI*IA	2011	DBLP BibTeX RDF
13	Francesco Mele, Antonio Sorgente	OntoTimeFL - A Formalism for Temporal Annotation and Reasoning for Natural Language Text.	DART@AI*IA (Revised and Invited Papers)	2011	DBLP DOI BibTeX RDF
13	Hiroyuki Kuwahara, Chris J. Myers	Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects.	BCB	2011	DBLP DOI BibTeX RDF
13	Juan L. Reutter, Tony Tan	A Formalism for Graph Databases and its Model of Computation.	AMW	2011	DBLP BibTeX RDF
13	Aurore Back	Etude théorique et numérique des équations de Vlasov-Maxwell dans le formalisme covariant. (Theoretical and numerical study of the equations of Vlasov-Maxwell in the covariant formalism).		2011	RDF
13	Oliver Marquardt, Sixten Boeck, Christoph Freysoldt, Tilmann Hickel, Jörg Neugebauer	Plane-wave implementation of the real-space k.p formalism and continuum elasticity theory.	Comput. Phys. Commun.	2010	DBLP DOI BibTeX RDF
13	Marc Torrent 0001, N. A. W. Holzwarth, François Jollet, David Harris 0002, Nicholas Lepley, Xiao Xu	Electronic structure packages: Two implementations of the projector augmented wave (PAW) formalism.	Comput. Phys. Commun.	2010	DBLP DOI BibTeX RDF
13	Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo	A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday.	Fundam. Informaticae	2010	DBLP DOI BibTeX RDF
13	Inmaculada Gayte, Francisco Guillén-González, Marko Antonio Rojas-Medar	Dubovitskii-Milyutin formalism applied to optimal control problems with constraints given by the heat equation with final data.	IMA J. Math. Control. Inf.	2010	DBLP DOI BibTeX RDF
13	Andrea Giovannucci, Jesús Cerquides, Ulle Endriss, Juan A. Rodríguez-Aguilar	A graphical formalism for mixed multi-unit combinatorial auctions.	Auton. Agents Multi Agent Syst.	2010	DBLP DOI BibTeX RDF
13	Borhen Marzougui, Khaled Hassine, Kamel Barkaoui	A New Formalism for Modeling a Multi Agent Systems: Agent Petri Nets.	J. Softw. Eng. Appl.	2010	DBLP DOI BibTeX RDF
13	Marcin Makowski, Jacek Korchowiec, Feng Long Gu, Yuriko Aoki	Describing electron correlation effects in the framework of the elongation method - Elongation-MP2: Formalism, implementation and efficiency.	J. Comput. Chem.	2010	DBLP DOI BibTeX RDF
13	Erik Alexander Billing, Thomas Hellström	A formalism for learning from demonstration.	Paladyn J. Behav. Robotics	2010	DBLP DOI BibTeX RDF
13	Dmitri Sorokin	Lagrangian formalism for fields.	Scholarpedia	2010	DBLP DOI BibTeX RDF
13	Gabriel A. Wainer, Rodrigo D. Castro	A Survey on the Application of the Cell-DEVS Formalism.	J. Cell. Autom.	2010	DBLP BibTeX RDF
13	Maarten de Mol, Arend Rensink	On A Graph Formalism for Ordered Edges.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
13	Redjan F. Shabani	The nature of individual choice: a formalism for utility function based on set theory	CoRR	2010	DBLP BibTeX RDF
13	Yves Moinard	A formalism for causal explanations with an Answer Set Programming translation	CoRR	2010	DBLP BibTeX RDF
13	Young-Sik Jeong, Won-Hee Han, Eun-Ha Song, Sang-Soo Yeo	Performance evaluation with DEVS formalism and implementation of active emergency call system for realtime location and monitoring.	Simul. Model. Pract. Theory	2010	DBLP DOI BibTeX RDF
13	Victorino Sanz, Alfonso Urquia, François E. Cellier, Sebastián Dormido 0001	System modeling using the Parallel DEVS formalism and the Modelica language.	Simul. Model. Pract. Theory	2010	DBLP DOI BibTeX RDF
13	Amir A. Khwaja, Joseph E. Urban	A property based specification formalism classification.	J. Syst. Softw.	2010	DBLP DOI BibTeX RDF
13	Juan Ignacio Latorre, Emilio Jiménez Macías, Mercedes Pérez, Julio Blanco-Fernández, Eugenio Martínez Cámara	The alternatives aggregation Petri nets as a formalism to design discrete event systems.	Int. J. Simul. Process. Model.	2010	DBLP DOI BibTeX RDF
13	Vahid Khanagha, Khalid Daoudi, Oriol Pont, Hussein M. Yahia	A novel text-independent phonetic segmentation algorithm based on the microcanonical multiscale formalism.	INTERSPEECH	2010	DBLP DOI BibTeX RDF
13	Mahuna Akplogan, Gauthier Quesnel, Frédérick Garçia, Alexandre Joannon, Roger Martin-Clouaire	Towards a deliberative agent system based on DEVS formalism for application in agriculture.	SummerSim	2010	DBLP BibTeX RDF