Search results for "forms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Ulrike Hahn, Mike Oaksford	A Bayesian Approach to Informal Argument Fallacies.	Synth.	2006	DBLP DOI BibTeX RDF
11	Xiaocong Fan, John Yen, Michael S. Miller, Thomas R. Ioerger, Richard A. Volz	MALLET-A Multi-Agent Logic Language for Encoding Teamwork.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	languages and structures, Artificial intelligence, distributed artificial intelligence
11	David A. Kopriva	Metric Identities and the Discontinuous Spectral Element Method on Curvilinear Meshes.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF
11	Stephen Barrass, Tim Barrass	Musical creativity in collaborative virtual environments.	Virtual Real.	2006	DBLP DOI BibTeX RDF	Sound art, Performance, Interaction, Creativity, Music, CVE
11	William Bricken	Syntactic Variety in Boundary Logic.	Diagrams	2006	DBLP DOI BibTeX RDF
11	Robert Milewski, Venu Govindaraju	Extraction of Handwritten Text from Carbon Copy Medical Form Images.	Document Analysis Systems	2006	DBLP DOI BibTeX RDF
11	Kenneth P. Birman	Scalable trust: engineering challenge or complexity barrier?	STC	2006	DBLP DOI BibTeX RDF	scalable trust
11	Mo Nishiyama, Leslie J. McNeil, Holly E. Wyatt	The matrix and beyond: expanding proactive resources for customers.	SIGUCCS	2006	DBLP DOI BibTeX RDF	role-based matrix, workflow improvement, communication, knowledge management, portals, customer service, electronic documentation
11	Toon Calders, Stijn Dekeyser, Jan Hidders, Jan Paredaens	Analyzing workflows implied by instance-dependent access rules.	PODS	2006	DBLP DOI BibTeX RDF
11	Suguru Matsuyoshi, Satoshi Sato, Takehito Utsuro	Compilation of a Dictionary of Japanese Functional Expressions with Hierarchical Organization.	ICCPOL	2006	DBLP DOI BibTeX RDF
11	José Espírito Santo, Maria João Frade, Luís Pinto 0001	Structural Proof Theory as Rewriting.	RTA	2006	DBLP DOI BibTeX RDF
11	Óscar Ferrández, Rafael M. Terol, Rafael Muñoz 0001, Patricio Martínez-Barco, Manuel Palomar	A Knowledge Based Strategy for Recognising Textual Entailment.	TSD	2006	DBLP DOI BibTeX RDF
11	Anne-Marie McEwan, Richard Ennals	Building social capital and regional innovation through Healthy Working Centres: An investigation in the South East of England.	AI Soc.	2005	DBLP DOI BibTeX RDF	Healthy work, Work organisation, Collaboration, Networks, Innovation, Action research
11	Peter Thiemann 0001	An embedded domain-specific language for type-safe server-side web scripting.	ACM Trans. Internet Techn.	2005	DBLP DOI BibTeX RDF	Interactive Web services, Web programming
11	Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis	Symmetric Argumentation Frameworks.	ECSQARU	2005	DBLP DOI BibTeX RDF
11	Alexander Geyken, Thomas Hanneforth	TAGH: A Complete Morphology for German Based on Weighted Finite State Automata.	FSMNLP	2005	DBLP DOI BibTeX RDF
11	Michael J. Gormish	Interaction between paper and electronic documents.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	enterprise document, machine identifiers, paper manifestation, model, classification, segmentation, document analysis, scanning, printing, document databases
11	Yue-Sun Kuo, N. C. Shih, Lendle Tseng, Hsun-Cheng Hu	Generating form-based user interfaces for XML vocabularies.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	XML editing, XML, user interface
11	Nishan C. Karunatillake, Nicholas R. Jennings, Iyad Rahwan, Timothy J. Norman	Argument-based negotiation in a social context.	AAMAS	2005	DBLP DOI BibTeX RDF	conflict resolution, argumentation-based negotiation
11	Yee Leung, Jiang-Hong Ma, Michael F. Goodchild	A general framework for error analysis in measurement-based GIS Part 2: The algebra-based probability model for point-in-polygon analysis.	J. Geogr. Syst.	2004	DBLP DOI BibTeX RDF	JEL Classification C10, C15, C31
11	Grigoriy Blekherman	Convexity Properties of the Cone of Nonnegative Polynomials.	Discret. Comput. Geom.	2004	DBLP DOI BibTeX RDF
11	Silvius Vasile Rus, Dongmin Zhang, Lawrence Rauchwerger	The Value Evolution Graph and its Use in Memory Reference Analysis.	IEEE PACT	2004	DBLP DOI BibTeX RDF
11	Per Bendsen	Model-Driven Business UI based on Maps. (PDF / PS)	SIGMOD Conference	2004	DBLP DOI BibTeX RDF
11	Aijun Zhang, Yong Xue, Xiaosong Sun, Yincui Hu, Ying Luo 0006, Yanguang Wang, Shaobo Zhong, Jianqin Wang, Jiakui Tang, Guoyin Cai	Reconstruction of 3D Curvilinear Wireframe Model from 2D Orthographic Views.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
11	Valentina Ciriani	Synthesis of SPP three-level logic networks using affine spaces.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
11	Thomas Lee Rodgers, Evan E. Anderson, Ming Yuan, Timothy Manning	Impact of Technology Sustainability on Healthcare Governance.	HICSS	2003	DBLP DOI BibTeX RDF	multi-institutional technology partnership, technology sustainability, healthcare governance, organizational continuity, inter-organizational network
11	Yves Deville, David R. Gilbert, Jacques van Helden, Shoshana J. Wodak	An Overview of Data Models for the Analysis of Biochemical Pathways.	CMSB	2003	DBLP DOI BibTeX RDF
11	Dana Nejedlová, Jan Nouza	Building of a Vocabulary for the Automatic Voice-Dictation System.	TSD	2003	DBLP DOI BibTeX RDF
11	John P. Scheible	A Survey of Storage Options.	Computer	2002	DBLP DOI BibTeX RDF
11	K. H. Kim	Commanding and Reactive Control of Peripherals in the TMO Programming Scheme.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	real time, middleware, parallel, distributed, programming, embedded, object, message, TMO, time triggered
11	Akira Amano, Naoki Asada	Complex Table Form Analysis Using Graph Grammar.	Document Analysis Systems	2002	DBLP DOI BibTeX RDF
11	Hiroshi Ishii 0001, Eran Ben-Joseph, John Underkoffler, Luke Yeung, Dan Chak, Zahra Kanji, Ben Piper	Augmented Urban Planning Workbench: Overlaying Drawings, Physical Models and Digital Simulation.	ISMAR	2002	DBLP DOI BibTeX RDF
11	Holly S. Vitense, Julie A. Jacko, V. Kathlene Emery	Multimodal feedback: establishing a performance baseline for improved access by individuals with visual impairments.	ASSETS	2002	DBLP DOI BibTeX RDF	visual, human-computer interaction, haptic, feedback, multimodal, visual impairment, auditory
11	Pieter Huybers	The Morphology of Building Structures.	International Conference on Computational Science (3)	2002	DBLP DOI BibTeX RDF
11	Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov	Complexity and expressive power of logic programming.	ACM Comput. Surv.	2001	DBLP DOI BibTeX RDF	Complexity, logic programming, query languages, datalog, expressive power, nonmonotonic logic
11	Gian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann	Reasoning about code mobility with mobile UNITY.	ACM Trans. Softw. Eng. Methodol.	2001	DBLP DOI BibTeX RDF	mobile agent, UNITY, code mobility
11	Anuj Srivastava, Xiuwen Liu, Ulf Grenander	Analytical models for reduced spectral representations of images.	ICIP (1)	2001	DBLP DOI BibTeX RDF
11	Ralph Trittmann	The Organic and the Mechanistic Form of Managing Knowledge in Software Development.	LSO	2001	DBLP DOI BibTeX RDF
11	Michael J. Denham	The Dynamics of Learning and Memory: Lessons from Neuroscience.	Emergent Neural Computational Architectures Based on Neuroscience	2001	DBLP DOI BibTeX RDF
11	Stephen W. Liddle, Sai Ho Yau, David W. Embley	On the Automatic Extraction of Data from the Hidden Web.	ER (Workshops)	2001	DBLP DOI BibTeX RDF
11	Andrew M. Pitts	A Fresh Approach to Representing Syntax with Static Binders in Functional Programming.	ICFP	2001	DBLP DOI BibTeX RDF
11	Carlos Jensen, Shelly Farnham, Steven Mark Drucker, Peter Kollock	The effect of communication modality on cooperation in online environments.	CHI	2000	DBLP DOI BibTeX RDF	social dilemna, collaboration, CSCW, computer mediated communication, social interfaces, online interaction
11	Michael H. Zack	Researching Organizational Systems using Social Network Analysis.	HICSS	2000	DBLP DOI BibTeX RDF
11	Steven J. Cunning, Jerzy W. Rozenblit	Test Scenario Generation from a Structured Requirements Specification.	ECBS	1999	DBLP DOI BibTeX RDF	Requirements Engineering, System Design, Test Case Generation
11	Trevor J. M. Bench-Capon	Categorizing Justifications in Legal Argument.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	computational argument, Legal reasoning
11	Christa Sommerer, Laurent Mignonneau	VERBARIUM and LIFE SPACIES: Creating a Visual Language by Transcoding Text into Form on the Internet.	VL	1999	DBLP DOI BibTeX RDF	text-to-form editor, Internet, human-computer interaction, interactive art, genetic code
11	Vincent Balat, Olivier Danvy	Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation.	Types in Compilation	1998	DBLP DOI BibTeX RDF
11	Jean-Bernard Martens	Local orientation analysis in images by means of the Hermite transform.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
11	Miriam A. M. Capretz	Conceptual Model for a Software Maintenance Environment.	HICSS (5)	1997	DBLP DOI BibTeX RDF
11	Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov	Complexity and Expressive Power of Logic Programming.	CCC	1997	DBLP DOI BibTeX RDF	computational complexity, Logic programming, resolution, constraint logic programming, unification, expressive power
11	Yibin Ye, Kaushik Roy 0001	A Graph-Based Synthesis Algorithm for AND/XOR Networks.	DAC	1997	DBLP DOI BibTeX RDF
11	Hiroyuki Arai, Kazumi Odaka	Form Processing based on Background Region Analysis.	ICDAR	1997	DBLP DOI BibTeX RDF
11	Anders Heyden, Kalle Åström	Algebraic Varieties in Multiple View Geometry.	ECCV (2)	1996	DBLP DOI BibTeX RDF
11	John R. W. Glauert, Zurab Khasidashvili	Minimal Relative Normalization in Orthogonal Expression Reduction Systems.	FSTTCS	1996	DBLP DOI BibTeX RDF
11	Gyungho Lee	Parallelizing Iterative Loops with Conditional Branching.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
11	Flemming Nielson, Hanne Riis Nielson	Finiteness Conditions for Fixed Point Iteration.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
11	Jiawei Han 0001	Compilation-Based List Processing in Deductive Databases.	EDBT	1992	DBLP DOI BibTeX RDF
11	János Levendovszky, W. Mommaerts, Edward C. van der Meulen	Neural Networks with Hysterisis Type of Nonlinearity Exhibit Global Optimization Property.	IWANN	1991	DBLP DOI BibTeX RDF
11	Krishna R. Pattipati, Michael M. Kostreva, John L. Teele	Approximate Mean Value Analysis Algorithms for Queuing Networks: Existence, Uniqueness, and Convergence Results	J. ACM	1990	DBLP DOI BibTeX RDF
11	Volker Diekert	Combinatorial Rewriting on Traces.	STACS	1990	DBLP DOI BibTeX RDF
11	A. C. Norman	A Critical-Pair/Completion Based Integration Algorithm.	ISSAC	1990	DBLP DOI BibTeX RDF	REDUCE
11	Diana Patterson	The myth and realities of C.A.S.E. for documentation.	SIGDOC	1989	DBLP DOI BibTeX RDF
11	Fangqing Dong, Hiroshi Nakagawa	Semantics of Non-montonic Reasoning based on Perfect Model.	LP	1989	DBLP DOI BibTeX RDF
11	Patrick Bellot	GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine.	ESOP	1986	DBLP DOI BibTeX RDF
11	Yellamraju V. Srinivas, Rajeev Sangal	A Generalization of Backus' FP.	FSTTCS	1986	DBLP DOI BibTeX RDF
11	Ann Solem	Designing Computer Documentation that Will be Used: Understanding Computer User Attitudes.	SIGDOC	1985	DBLP DOI BibTeX RDF
11	Charles Rich	Artificial intelligence and software engineering: The Programmer's Apprentice project.	ACM Annual Conference	1984	DBLP DOI BibTeX RDF
11	Werner Ainhirn	How to Get Rid of Pseudoterminals.	ICALP	1980	DBLP DOI BibTeX RDF
11	John T. Chu	Some Methods for Simplifying Switching Circuits Using "Don't Care" Conditions.	J. ACM	1961	DBLP DOI BibTeX RDF
10	Jesús Arturo Jiménez González	A Strong Gram Classification of Non-negative Unit Forms of Dynkin Type r.	Fundam. Informaticae	2024	DBLP DOI BibTeX RDF
10	Iñigo Alonso, Eneko Agirre	Automatic Logical Forms improve fidelity in Table-to-Text generation.	Expert Syst. Appl.	2024	DBLP DOI BibTeX RDF
10	Pin Luarn, Ya-Cing Jhan, Hong-Wen Lin	Have you spotted where I am? Exploring the impact of different forms of native advertising.	Int. J. Mob. Commun.	2024	DBLP DOI BibTeX RDF
10	Xia Zheng, Yicheng Jiang, Hua Cheng, Aiqing Nie	How to Arrange Texts and Pictures for Online Visitors - Comparing Basic Ceramic Display Forms with Eye Tracking.	ACM Journal on Computing and Cultural Heritage	2024	DBLP DOI BibTeX RDF
10	Christian Bagshaw	Bilinear forms with Kloosterman and Gauss sums in function fields.	Finite Fields Their Appl.	2024	DBLP DOI BibTeX RDF
10	Yukiko I. Nakano, Fumio Nihei, Ryo Ishii, Ryuichiro Higashinaka	Selecting Iconic Gesture Forms Based on Typical Entity Images.	J. Inf. Process.	2024	DBLP DOI BibTeX RDF
10	Wanai Li	Quadrature-free forms of discontinuous Galerkin methods in solving compressible flows on triangular and tetrahedral grids.	Math. Comput. Simul.	2024	DBLP DOI BibTeX RDF
10	Maikel M. Bosschaert, Yuri A. Kuznetsov	Interplay between Normal Forms and Center Manifold Reduction for Homoclinic Predictors near Bogdanov-Takens Bifurcation.	SIAM J. Appl. Dyn. Syst.	2024	DBLP DOI BibTeX RDF
10	Marcella Faria	Endless forms of endless formation - The morphogenesis of organisms and scientific objects.	Biosyst.	2024	DBLP DOI BibTeX RDF
10	Yanlin Li, Meraj Ali Khan, MD Aquib, Ibrahim Al-Dayel, Maged Zakaria Youssef	Chen-Ricci Inequality for Isotropic Submanifolds in Locally Metallic Product Space Forms.	Axioms	2024	DBLP DOI BibTeX RDF
10	Vladimir Gurvich, Mariya Naumova	Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms.	Ann. Math. Artif. Intell.	2024	DBLP DOI BibTeX RDF
10	Ashutosh Simha, Vadim Kaparin, Tanel Mullari, Ülle Kotta	Extended Observer Forms for Submersive Discrete-Time Systems.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
10	Jonas A. Actor, Xiaozhe Hu, Andy Huang, Scott A. Roberts, Nathaniel Trask	Data-driven Whitney forms for structure-preserving control volume analysis.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	A. S. Moura, W. G. Facco	A perfectly matched layer for the absorption of electromagnetic waves using differential forms in three-dimensional domains.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
10	Wei Xu, Le-Ying Yang, Xiao Liu, Pin-Nv Jin	Examining the effects of different forms of teacher feedback intervention for learners' cognitive and emotional interaction in online collaborative discussion: A visualization method for process mining based on text automatic analysis.	Educ. Inf. Technol.	2024	DBLP DOI BibTeX RDF
10	Chris Verhoek, Jaap Eising, Florian Dörfler, Roland Tóth	Decoupling parameter variation from noise: Biquadratic Lyapunov forms in data-driven LPV control.	CoRR	2024	DBLP DOI BibTeX RDF
10	Diana Davila Gordillo, Joan Timoneda, Sebastian Vallejo Vera	Machines Do See Color: A Guideline to Classify Different Forms of Racist Discourse in Large Corpora.	CoRR	2024	DBLP DOI BibTeX RDF
10	Hao Wu, Fan Xu	SLFNet: Generating Semantic Logic Forms from Natural Language Using Semantic Probability Graphs.	CoRR	2024	DBLP DOI BibTeX RDF
10	Shuwei Zhu, Siying Lv, Kaifeng Chen, Wei Fang, Leilei Cao	Research progress on intelligent optimization techniques for energy-efficient design of ship hull forms.	CoRR	2024	DBLP DOI BibTeX RDF
10	Michela Beretta, Nikolaus Obwegeser, Stefan Bauer	An Exploration of Hackathons as Time Intense and Collaborative Forms of Crowdsourcing.	IEEE Trans. Engineering Management	2024	DBLP DOI BibTeX RDF
10	Bhabani Shankar Nayak, Nigel Walton	The future of platforms, big data and new forms of capital accumulation.	Inf. Technol. People	2024	DBLP DOI BibTeX RDF
10	Hichem Belgacem, Xiaochen Li, Domenico Bianculli, Lionel C. Briand	Learning-based Relaxation of Completeness Requirements for Data Entry Forms.	ACM Trans. Softw. Eng. Methodol.	2024	DBLP DOI BibTeX RDF
10	Gene Louis Kim, Mandar Juvekar, Junis Ekmekciu, Viet Duong, Lenhart K. Schubert	Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System.	J. Log. Lang. Inf.	2024	DBLP DOI BibTeX RDF
10	Bernard Gauthier-Manuel, Chafia Benmouhoub, Bruno Wacogne	Fluorescence Spectra of Prototropic Forms of Fluorescein and Some Derivatives and Their Potential Use for Calibration-Free pH Sensing.	Sensors	2024	DBLP DOI BibTeX RDF
10	Fabio Campos, Ha Nguyen, June Ahn, Kara Jackson	Leveraging cultural forms in human-centred learning analytics design.	Br. J. Educ. Technol.	2024	DBLP DOI BibTeX RDF
10	Franziska Laaber, Teresa Koch, Marco Hubert, Arnd Florack	Young People's digital maturity relates to different forms of well-being through basic psychological need satisfaction and frustration.	Comput. Hum. Behav.	2024	DBLP DOI BibTeX RDF
10	Mohamed Zaatra	A special family of non-symmetric semi-classical forms of class one.	Period. Math. Hung.	2024	DBLP DOI BibTeX RDF
10	Ion Victor Gosea, Serkan Gugercin, Steffen W. R. Werner	Structured barycentric forms for interpolation-based data-driven reduced modeling of second-order systems.	Adv. Comput. Math.	2024	DBLP DOI BibTeX RDF
10	Dirk Hovorka, Benjamin Mueller	Speculation: Forms and Functions.	HICSS	2024	DBLP BibTeX RDF
10	Yanping Zhang, Nannan Xi, Changyong Liang, Juho Hamari	The Relationships between Different Forms of Gamification and User Experience: A Study in the Context of Elderly Well-being Applications.	HICSS	2024	DBLP BibTeX RDF
10	Amadeja Lamovsek, Matej Cerne, Ales Popovic, Shaima' Salem Mohammed, Laura Trinchera	The Work Design Puzzle: Untangling its Relationship with Work-Life Balance across Different Forms of Work.	HICSS	2024	DBLP BibTeX RDF