Search results for "interpretations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Heeryon Cho, Toru Ishida 0001, Naomi Yamashita, Tomoko Koda, Toshiyuki Takasaki	Human detection of cultural differences in pictogram interpretations.	IWIC	2009	DBLP DOI BibTeX RDF
15	Lingfang (Ivy) Li, Donald G. Saari	Sen's theorem: geometric proof, new interpretations.	Soc. Choice Welf.	2008	DBLP DOI BibTeX RDF
15	Eduardo Mosqueira-Rey, Vicente Moret-Bonillo, Ángel Fernández-Leal	An expert system to achieve fuzzy interpretations of validation data.	Expert Syst. Appl.	2008	DBLP DOI BibTeX RDF
15	Hong Kook Kim, Seung Ho Choi	Cepstral domain interpretations of line spectral frequencies.	Signal Process.	2008	DBLP DOI BibTeX RDF
15	Juan Soliveres Tur, Juan Climent Vidal	Functors of Lindenbaum-Tarski, Schematic Interpretations, and Adjoint Cylinders between Sentential Logics.	Notre Dame J. Formal Log.	2008	DBLP DOI BibTeX RDF
15	Wolfgang Hesse, Dirk Müller 0002, Aaron Ruß	Information, information systems, information society: interpretations and implications.	Poiesis Prax.	2008	DBLP DOI BibTeX RDF
15	Ulrich Kohlenbach	Applied Proof Theory - Proof Interpretations and their Use in Mathematics.		2008	DOI RDF
15	Björn Niehaves, Jörg Becker 0001	The Age-Divide in E-Government - Data, Interpretations, Theory Fragments.	II3E	2008	DBLP DOI BibTeX RDF
15	Stéphane Safin, Roland Juchmes, Pierre Leclercq	Du crayon au stylo numérique: influences des interprétations numériques sur l'activité graphique en tâches de conception.	IHM	2008	DBLP DOI BibTeX RDF
15	Fang Song 0003, Shuanghui Hao, Minghui Hao, Zhimin Yang	Research on Acceleration and Deceleration Control Algorithm of NC Instruction Interpretations with High-Order Smooth.	ICIRA (2)	2008	DBLP DOI BibTeX RDF	NC instruction, acc/dec control, high-order smooth, moving-average algorithm
15	David A. Schmidt	Internal and External Logics of Abstract Interpretations.	VMCAI	2008	DBLP DOI BibTeX RDF
15	Adam Koprowski, Hans Zantema	Certification of Proving Termination of Term Rewriting by Matrix Interpretations.	SOFSEM	2008	DBLP DOI BibTeX RDF
15	Georg Moser, Andreas Schnabl, Johannes Waldmann	Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations.	FSTTCS	2008	DBLP DOI BibTeX RDF
15	Piotr Stolarski, Tadeusz Tomaszewski, John Zeleznikow, Witold Abramowicz	A Description of Legal Interpretations in Risk Management with the Use of Ontology Alignment Formalisms.	ODR	2008	DBLP BibTeX RDF
15	Udi Boker	The influence of domain interpretations on computational models		2008	RDF
15	Gregg Musiker, James Propp	Combinatorial Interpretations for Rank-Two Cluster Algebras of Affine Type.	Electron. J. Comb.	2007	DBLP DOI BibTeX RDF
15	David A. Schmidt	Extracting Program Logics From Abstract Interpretations Defined by Logical Relations.	MFPS	2007	DBLP DOI BibTeX RDF
15	Carlos Martín-Vide, Victor Mitrana	Remarks on arbitrary multiple pattern interpretations.	Inf. Process. Lett.	2007	DBLP DOI BibTeX RDF
15	Radomir S. Stankovic, Jaakko Astola	Interpretations of the Sampling Theorem in Multiple-Valued Logic.	J. Multiple Valued Log. Soft Comput.	2007	DBLP BibTeX RDF
15	Helena Karsten, Aija Laine	User interpretations of future information system use: A snapshot with technological frames.	Int. J. Medical Informatics	2007	DBLP DOI BibTeX RDF
15	Richard Kaye, Tin Lok Wong	On Interpretations of Arithmetic and Set Theory.	Notre Dame J. Formal Log.	2007	DBLP DOI BibTeX RDF
15	Michael Kaminski, Michael L. Tiomkin	The Modal Logic of Cluster-Decomposable Kripke Interpretations.	Notre Dame J. Formal Log.	2007	DBLP DOI BibTeX RDF
15	Thomas Colcombet, Christof Löding	Transforming structures by set interpretations	CoRR	2007	DBLP BibTeX RDF
15	Ulrich Kohlenbach	Proof Interpretations and the Computational Content of Proofs in Mathematics.	Bull. EATCS	2007	DBLP BibTeX RDF
15	Thomas Colcombet, Christof Löding	Transforming structures by set interpretations.	Log. Methods Comput. Sci.	2007	DBLP DOI BibTeX RDF
15	William W. Gaver	Cultural commentators: Non-native interpretations as resources for polyphonic assessment.	Int. J. Hum. Comput. Stud.	2007	DBLP DOI BibTeX RDF
15	Andrea Lockerd Thomaz, Cynthia Breazeal	Asymmetric Interpretations of Positive and Negative Human Feedback for a Social Learning Agent.	RO-MAN	2007	DBLP DOI BibTeX RDF
15	Slawomir Zadrozny, Janusz Kacprzyk	Bipolar Queries Using Various Interpretations of Logical Connectives.	IFSA (1)	2007	DBLP DOI BibTeX RDF
15	Jeffrey Mark Siskind, Barak A. Pearlmutter	First-class nonstandard interpretations by opening closures.	POPL	2007	DBLP DOI BibTeX RDF	lambda lifting, referential transparency
15	L. Thorne McCarty	Deep semantic interpretations of legal texts.	ICAIL	2007	DBLP DOI BibTeX RDF	legal texts, natural language processing, information extraction, computational semantics
15	Rifat Sipahi, Silviu-Iulian Niculescu, Fatihcan M. Atay	Effects of Short-Term Memory of Drivers on Stability Interpretations of Traffic Flow Dynamics.	ACC	2007	DBLP DOI BibTeX RDF
15	Takashi Kinoshima, Kazutaka Kobayashi, Nurul Azma Zakaria, Masahiro Kimura, Noriko Matsumoto, Norihiko Yoshida	Communication Model Exploration for Distributed Embedded Systems and System Level Interpretations.	EUC Workshops	2007	DBLP DOI BibTeX RDF	Event-Triggered Communication, Time-Triggered Communication, Stepwise Refinement Design, Model-Driven Architecture, Distributed Embedded Systems
15	Farookh Khadeer Hussain, Omar Khadeer Hussain, Elizabeth Chang 0001	An overview of the interpretations of trust and reputation.	ETFA	2007	DBLP DOI BibTeX RDF
15	Gabriel Wachman, Roni Khardon	Learning from interpretations: a rooted kernel for ordered hypergraphs.	ICML	2007	DBLP DOI BibTeX RDF
15	Farookh Khadeer Hussain, Elizabeth Chang 0001	An Overview of the Interpretations of Trust and Reputation.	AICT	2007	DBLP DOI BibTeX RDF	trust, reputation, definitions
15	Yuefeng Li	Interpretations of Discovered Knowledge in Multidimensional Databases.	GrC	2007	DBLP DOI BibTeX RDF
15	Atsuko Nishiyama	The Meaning and Interpretations of the Japanese Aspect Marker -te-i-.	J. Semant.	2006	DBLP DOI BibTeX RDF
15	Takafumi Kanazawa, Toshimitsu Ushio	Multi-Population Replicator Dynamics with Changes of Interpretations of Strategies.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2006	DBLP DOI BibTeX RDF
15	Andrew Klapper	Linear Complexity of Sequences under Different Interpretations.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2006	DBLP DOI BibTeX RDF
15	Seunghwan O, Kwang-Moo Choe	LR Formalisms as Abstract Interpretations of Grammar Semantics.	IEICE Trans. Inf. Syst.	2006	DBLP DOI BibTeX RDF
15	Marek R. Ogiela, Ryszard Tadeusiewicz, Lidia Ogiela	Graph image language techniques supporting radiological, hand image interpretations.	Comput. Vis. Image Underst.	2006	DBLP DOI BibTeX RDF
15	Brian McElree, Steven Frisson, Martin J. Pickering	Deferred Interpretations: Why Starting Dickens is Taxing but Reading Dickens Isn't.	Cogn. Sci.	2006	DBLP DOI BibTeX RDF
15	Paulo Oliva	Unifying Functional Interpretations.	Notre Dame J. Formal Log.	2006	DBLP DOI BibTeX RDF
15	Benedikt Löwe	Set Theory With and Without Urelements and Categories of Interpretations.	Notre Dame J. Formal Log.	2006	DBLP DOI BibTeX RDF
15	Patrick Baillot, Ugo Dal Lago, Jean-Yves Moyen	On Quasi-Interpretations, Blind Abstractions and Implicit Complexity	CoRR	2006	DBLP BibTeX RDF
15	Jean-Yves Marion, Romain Péchoux	Quasi-friendly sup-interpretations	CoRR	2006	DBLP BibTeX RDF
15	Freek Wiedijk	Is ZF a hack?: Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics.	J. Appl. Log.	2006	DBLP DOI BibTeX RDF
15	Nicola Gambino	Heyting-valued interpretations for Constructive Set Theory.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
15	Peter F. Fisher, Charles Arnot, Richard A. Wadsworth, Jane Wellens	Detecting change in vague interpretations of landscapes.	Ecol. Informatics	2006	DBLP DOI BibTeX RDF
15	David M. Halliday, Jay R. Rosenberg, P. Breeze, Bernard A. Conway	Neural spike train synchronization indices: definitions, interpretations, and applications.	IEEE Trans. Biomed. Eng.	2006	DBLP DOI BibTeX RDF
15	Steve McRobb	Let's agree to differ: varying interpretations of online privacy policies.	J. Inf. Commun. Ethics Soc.	2006	DBLP DOI BibTeX RDF
15	Victor J. W. Guo, Martin Rubey, Jiang Zeng	Combinatorial interpretations of the q-Faulhaber and q-Salié coefficients.	J. Comb. Theory, Ser. A	2006	DBLP DOI BibTeX RDF
15	Jörg Endrullis, Johannes Waldmann, Hans Zantema	Matrix Interpretations for Proving Termination of Term Rewriting.	IJCAR	2006	DBLP DOI BibTeX RDF
15	Johanna Vompras, Stefan Conrad 0001	Unifying Different Users' Interpretations and Levels of Abstraction for Improving Annotation-based Image Retrieval.	SMAP	2006	DBLP DOI BibTeX RDF
15	Dieter Hofbauer, Johannes Waldmann	Termination of String Rewriting with Matrix Interpretations.	RTA	2006	DBLP DOI BibTeX RDF
15	Jerzy W. Grzymala-Busse, Steven Santoso	Experiments on Data with Three Interpretations of Missing Attribute Values - A Rough Set Approach.	Intelligent Information Systems	2006	DBLP DOI BibTeX RDF
15	Lei Xiao, Thomas E. Fuja, Jörg Kliewer, Daniel J. Costello Jr.	Nested codes with multiple interpretations.	CISS	2006	DBLP DOI BibTeX RDF
15	Roberto M. Amadio	Synthesis of max-plus quasi-interpretations.	Fundam. Informaticae	2005	DBLP BibTeX RDF
15	Angelo Gilio	Probabilistic Logic Under Coherence, Conditional Interpretations, and Default Reasoning.	Synth.	2005	DBLP DOI BibTeX RDF
15	Gurpreet Dhillon	Gaining benefits from IS/IT implementation: Interpretations from case studies.	Int. J. Inf. Manag.	2005	DBLP DOI BibTeX RDF
15	Krassimir T. Atanassov, Gabriella Pasi, Ronald R. Yager	Intuitionistic fuzzy interpretations of multi-criteria multi-person and multi-measurement tool decision making.	Int. J. Syst. Sci.	2005	DBLP DOI BibTeX RDF
15	Mircea-Dan Hernest, Ulrich Kohlenbach	A complexity analysis of functional interpretations.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
15	Øyvind Stavdahl, Anne Karin Bondhus, Kristin Ytterstad Pettersen, Kjell E. Malvig	Optimal statistical operators for 3-dimensional rotational data: geometric interpretations and application to prosthesis kinematics.	Robotica	2005	DBLP DOI BibTeX RDF
15	Chris Fox, Shalom Lappin	Underspecified Interpretations in a Curry-typed Representation Language.	J. Log. Comput.	2005	DBLP DOI BibTeX RDF
15	Tetsuya Iwasaki, Shinji Hara, Alexander L. Fradkov	Time domain interpretations of frequency domain inequalities on (semi)finite ranges.	Syst. Control. Lett.	2005	DBLP DOI BibTeX RDF
15	Hiroyuki Yoshida, Manabu Omae	An approach for analysis of urban morphology: methods to derive morphological properties of city blocks by using an urban landscape model and their interpretations.	Comput. Environ. Urban Syst.	2005	DBLP DOI BibTeX RDF
15	Fitsum Admasu, Klaus D. Tönnies	An Approach towards Automated Fault Interpretations in Seismic Data.	SimVis	2005	DBLP BibTeX RDF
15	Paulo Oliva	Unifying Functional Interpretations.	Mathematics, Algorithms, Proofs	2005	DBLP BibTeX RDF
15	Li Zhang 0024, Tiantian Zhang, Carol L. Novak, David P. Naidich, Daniel Aaron Moses	A computer-based method of segmenting ground glass nodules in pulmonary CT images: comparison to expert radiologists' interpretations.	Medical Imaging: Image Processing	2005	DBLP DOI BibTeX RDF
15	Santa R. Susarapu, Gurpreet Dhillon	Semiotic Analysis of Knowledge Intensive Business Processes: Developing Interpretations for Sustainable Competitive Advantage.	AMCIS	2005	DBLP BibTeX RDF
15	Steven Orla Kimbrough	A Note on Interpretations for Federated Languages and the Use of Disquotation.	ICAIL	2005	DBLP DOI BibTeX RDF
15	Peter Worth, Susan Stepney	Growing Music: Musical Interpretations of L-Systems.	EvoWorkshops	2005	DBLP DOI BibTeX RDF
15	Karina Gibert, Alejandra Pérez-Bonilla	Fuzzy Box-plot based Induction Rules. Towards automatic generation of classes-interpretations.	EUSFLAT Conf.	2005	DBLP BibTeX RDF
15	Tomoaki Ozawa, Hiroyuki Nishina, Kei Yoshimoto, Shigeru Sato	A study on multiple interpretations of frequency adverbs in Japanese.	PACLIC	2005	DBLP BibTeX RDF
15	Sergio Muñoz, Claudio Gutierrez 0001	Interpretations between RDF and the Logical Data Model.	LA-WEB	2005	DBLP DOI BibTeX RDF
15	A. K. Agarwal	n-Color Partition Theoretic Interpretations of some Mock Theta Functions.	Electron. J. Comb.	2004	DBLP DOI BibTeX RDF
15	Kevin Backhouse, Roland Carl Backhouse	Safety of abstract interpretations for free, via logical relations and Galois connections.	Sci. Comput. Program.	2004	DBLP DOI BibTeX RDF
15	Yasuo Nakayama	Dynamic Interpretations and Interpretation Structures.	JSAI Workshops	2004	DBLP DOI BibTeX RDF
15	Victor Jauregui, Maurice Pagnucco, Norman Y. Foo	On the Intended Interpretations of Actions.	PRICAI	2004	DBLP DOI BibTeX RDF
15	Olga Kriskaya	Learning from Imaging Experiences: Viewing, Visualization and the Genesis of Epistemological Interpretations.	CELDA	2004	DBLP BibTeX RDF
15	Peter D. Killworth, Christopher McCarty, H. Russell Bernard, Eugene C. Johnsen, John Domini, Gene A. Shelley	Two interpretations of reports of knowledge of subpopulation sizes.	Soc. Networks	2003	DBLP DOI BibTeX RDF
15	Fausto Spoto, Thomas P. Jensen	Class analyses as abstract interpretations of trace semantics.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	Abstract interpretation, denotational semantics, class analysis
15	Jean-Christophe Filliâtre	Verification of non-functional programs using interpretations in type theory.	J. Funct. Program.	2003	DBLP DOI BibTeX RDF
15	Jacob L. Wagner, Geb W. Thomas, Justin M. Glasgow	Assessing geologic image interpretations errors occurring in extraterrestrial robotic exploration.	SMC	2003	DBLP DOI BibTeX RDF
15	Ari Freund 0001, Dror Rawitz	Combinatorial Interpretations of Dual Fitting and Primal Fitting.	WAOA	2003	DBLP DOI BibTeX RDF
15	Krassimir T. Atanassov, Gabriella Pasi, Ronald R. Yager, Vassia Atanassova	Intuitionistic fuzzy graph interpretations of multi-person multi-criteria decision making.	EUSFLAT Conf.	2003	DBLP BibTeX RDF
15	Ian G. Cumming, Yew Lam Neo, Frank H. Wong	Interpretations of the omega-K algorithm and comparisons with other algorithms.	IGARSS	2003	DBLP DOI BibTeX RDF
15	Ilyas Eminoglu	Computational intelligence methods : generic interpretations, optimisation and application.		2003	RDF
15	Wolfgang Burr	Concepts and aims of functional interpretations: towards a functional interpretation of constructive set theory.	Synth.	2002	DBLP DOI BibTeX RDF
15	Viviana Bono, Michele Bugliesi, Silvia Crafa	Typed interpretations of extensible objects.	ACM Trans. Comput. Log.	2002	DBLP DOI BibTeX RDF	Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization
15	Manfred Kudlek, Carlos Martín-Vide, Victor Mitrana	Multiple Pattern Interpretations.	Grammars	2002	DBLP DOI BibTeX RDF
15	Asrar U. H. Sheikh, Simon S. F. Hau	Channal Impulse Response: Measurements and Interpretations.	Wirel. Pers. Commun.	2002	DBLP DOI BibTeX RDF
15	Justus Diller	Logical problems of functional interpretations.	Ann. Pure Appl. Log.	2002	DBLP DOI BibTeX RDF
15	Erica Weintraub Austin, Amber Coral-Reaume Miller, John Silva, Petra Guerra, Neva Geisler, Luxelvira Gamboa, Orlalak Phakakayai, Bryant Kuechle	The Effects of Increased Cognitive Involvement on College Students' Interpretations of Magazine Advertisements for Alcohol.	Commun. Res.	2002	DBLP DOI BibTeX RDF
15	Pernilla Gripenberg	Living With It : Uses And Interpretations Of Computers In The Home And Family Context.	ECIS	2002	DBLP BibTeX RDF
15	Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen	On Modal Logic Interpretations of Games.	ECAI	2002	DBLP BibTeX RDF
15	Hodong Lee, Jong C. Park	Natural Language Interpretations for Heterogeneous Database Access.	COLING	2002	DBLP BibTeX RDF
15	Henry E. Kyburg Jr., Choh Man Teng 0001	Evaluating Interpretations of Probability in the Face of Drifts.	IC-AI	2002	DBLP BibTeX RDF
15	Wlodzimierz Ogryczak	Comments on Romero C, Tamiz M and Jones DF (1998). Goal programming, compromise programming and reference point method formulations: linkages and utility interpretations.	J. Oper. Res. Soc.	2001	DBLP DOI BibTeX RDF
15	Dieter Hofbauer	Termination Proofs for Ground Rewrite Systems - Interpretations and Derivational Complexity.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Ground rewriting, Termination proofs, Derivational complexity, Term rewriting systems