Search results for "particulars"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Luc Schneider	The Logic of the Ontological Square.	Stud Logica	2009	DBLP DOI BibTeX RDF	particulars, substances, Universals, predication, modes, copula, formal ontology
51	J. R. Welch	Vagueness and Inductive Molding.	Synth.	2007	DBLP DOI BibTeX RDF
51	Gennady L. Andrienko, Mikael Jern, Jason Dykes, Sara Irina Fabrikant, Chris E. Weaver	Geovisualization and synergies from InfoVis and Visual Analytics.	IV	2007	DBLP DOI BibTeX RDF
34	Joshua Howell, Francis K. H. Quek	Math for Those with Severe Low Vision: From the Particulars to the Gestalt (And Back Again).	FIE	2023	DBLP DOI BibTeX RDF
34	Oksana Marchuk, Ivan Bekhta, Nataliya Bondarchuk	Statistical Particulars of the Lexical-Thematic Group Evil in J. K. Rowling's Harry Potter.	COLINS	2022	DBLP BibTeX RDF
34	Claudio Masolo, Adrien Barton	The Identity of Property Particulars.	JOWO	2019	DBLP BibTeX RDF
34	Robert P. W. Duin	The dissimilarity representation for finding universals from particulars by an anti-essentialist approach.	Pattern Recognit. Lett.	2015	DBLP DOI BibTeX RDF
34	Kai Wang, Jorge J. Riera, Herve Enjieu-Kadji, Ryuta Kawashima	The Role of Extracellular Conductivity Profiles in Compartmental Models for Neurons: Particulars for Layer 5 Pyramidal Cells.	Neural Comput.	2013	DBLP DOI BibTeX RDF
34	Miray Kas	Toward on-chip datacenters: a perspective on general trends and on-chip particulars.	J. Supercomput.	2012	DBLP DOI BibTeX RDF
34	Ou Jie Zhao, Tiffany Ng, Dan Cosley	No forests without trees: particulars and patterns in visualizing personal communication.	iConference	2012	DBLP DOI BibTeX RDF
34	Karl Bergström	The implicit rules of board games: on the particulars of the lusory agreement.	MindTrek	2010	DBLP DOI BibTeX RDF
34	Ron Rudnicki, Werner Ceusters, Shahid Manzoor, Barry Smith 0001	What Particulars are Referred to in Electronic Health Record Data? A Case Study in Integrating Referent Tracking into an EHR Application.	AMIA	2007	DBLP BibTeX RDF
34	Francesco Orilia	Quantum-mechanical Statistics and the Inclusivist Approach to the Nature of Particulars.	Synth.	2006	DBLP DOI BibTeX RDF
17	Hwangnam Kim, E-yong Kim	PReSENt: A Collaboration Framework for Resource Sharing in Wireless Mesh Networks.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
17	Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese	A Meta-model of Access Control in a Fibred Security Language.	Stud Logica	2009	DBLP DOI BibTeX RDF	Fibring, Security, Access Control, Logic
17	Ing Widya, Bert-Jan van Beijnum, Richard Bults, Valerie M. Jones, Hermie J. Hermens, Leif Sandsjö, Leendert Schaake, M. H. A. Huis in't Veld	Early phase requirements assessment of a teletreatment trial.	SAC	2009	DBLP DOI BibTeX RDF	goal-oriented requirements elicitation, trial design, telemedicine
17	Ralph Duncan, Peder Jungck	packetC Language for High Performance Packet Processing.	HPCC	2009	DBLP DOI BibTeX RDF
17	Katerina Pastra	COSMOROE: a cross-media relations framework for modelling multimedia dialectics.	Multim. Syst.	2008	DBLP DOI BibTeX RDF	Cross-media relations, Image-language-movement interaction, Multimedia dialectics, Multimedia discourse, Multimedia semantics
17	Dmitri Maslov, Sean M. Falconer, Michele Mosca	Quantum Circuit Placement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
17	Monika Andersson, Maria Nordmark	Bringing the web to the shop floor.	NordiCHI	2008	DBLP DOI BibTeX RDF	interaction, user experience, retail, contextual design
17	Abdelfattah Abouelaoualim, Kinkar Chandra Das, Luérbio Faria, Yannis Manoussakis, Carlos A. J. Martinhon, Rachid Saad	Paths and Trails in Edge-Colored Graphs.	LATIN	2008	DBLP DOI BibTeX RDF	properly edge-colored paths, trails and cycles, connectivity, Edge colored graphs
17	Olivier Steichen, Christel Daniel-Le Bozec, Marie-Christine Jaulent, Jean Charlet	Building an Ontology of Hypertension Management.	AIME	2007	DBLP DOI BibTeX RDF	Computerized Medical Records, Ontologies, Guidelines
17	Euisun Kang, DaeHyuck Park, Younghwan Lim	Content Aware Selecting Method for Reducing the Response Time of an Adaptive Mobile Web Service.	UIC	2007	DBLP DOI BibTeX RDF
17	Daniel M. Russell, Carrie Grimes	Assigned tasks are not the same as self-chosen Web search tasks.	HICSS	2007	DBLP DOI BibTeX RDF
17	Judith Gelernter	A quantitative analysis of collaborative tags: Evaluation for information retrieval - a preliminary study.	CollaborateCom	2007	DBLP DOI BibTeX RDF
17	Rémy Haemmerlé, François Fages, Sylvain Soliman	Closures and Modules Within Linear Logic Concurrent Constraint Programming.	FSTTCS	2007	DBLP DOI BibTeX RDF
17	Dmitri Maslov, Sean M. Falconer, Michele Mosca	Quantum Circuit Placement: Optimizing Qubit-to-qubit Interactions through Mapping Quantum Circuits into a Physical Experiment.	DAC	2007	DBLP DOI BibTeX RDF
17	Don Garrett	Hume's naturalistic theory of representation.	Synth.	2006	DBLP DOI BibTeX RDF	External world, Resemblance, Abstract ideas, Owen, Cohon, Representation, Naturalism, Ideas, Bodies, Impressions, Copy, Hume
17	Yu David Liu, Scott F. Smith 0001	A formal framework for component deployment.	OOPSLA	2006	DBLP DOI BibTeX RDF	component, deployment, version
17	Heidi J. C. Ellis	Self-grading: an approach to supporting self-directed learning.	ITiCSE	2006	DBLP DOI BibTeX RDF	student grading, software engineering education
17	Ana Toledo Moreo, Cristina Vicente-Chicote, Juan Suardíaz Muro, Sergio A. Cuenca	Xilinx System Generator Based HW Components for Rapid Prototyping of Computer Vision SW/HW Systems.	IbPRIA (1)	2005	DBLP DOI BibTeX RDF	FPGAs, prototyping, Simulink, co-simulation, image processing applications
17	Ferruccio Damiani	Rank-2 Intersection and Polymorphic Recursion.	TLCA	2005	DBLP DOI BibTeX RDF
17	Annegret Goold, Jo Coldwell	Teaching ethics in a virtual classroom.	ITiCSE	2005	DBLP DOI BibTeX RDF	ethics, virtual classes, computing curriculum, online courses
17	Stuart Harvey Rubin, S. N. Jayaram Murthy, Michael H. Smith, Ljiljana Trajkovic	KASER: knowledge amplification by structured expert randomization.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
17	Robert M. Fuhrer, Frank Tip, Adam Kiezun	Advanced refactorings in eclipse.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	parametric types, software engineering, refactoring, type systems
17	Alexandra Weilenmann, Peter Leuchovius	"I'm waiting where we met last time": exploring everyday positioning practices to inform design.	NordiCHI	2004	DBLP DOI BibTeX RDF	position-based services, mobility, mobile phones, location-based services, conversation analysis
17	Ferruccio Damiani	Rank 2 intersection types for local definitions and conditional expressions.	ACM Trans. Program. Lang. Syst.	2003	DBLP DOI BibTeX RDF	polymorphic recursion, Type inference, principal typings
17	Irene Garrigós, Jaime Gómez, Cristina Cachero	Modelling Dynamic Personalization in Web Applications.	ICWE	2003	DBLP DOI BibTeX RDF
17	Dror G. Feitelson, Millet Treinin	The Blueprint for Life?	Computer	2002	DBLP DOI BibTeX RDF
17	Tom DeMarco, Barry W. Boehm	The Agile Methods Fray.	Computer	2002	DBLP DOI BibTeX RDF
17	E. J. Lowe	Opening plenary talk: Recent advances in metaphysics.	FOIS	2001	DBLP DOI BibTeX RDF
17	Jaime Gómez, Cristina Cachero, Oscar Pastor 0001	Extending a Conceptual Modelling Approach to Web Application Design.	CAiSE	2000	DBLP DOI BibTeX RDF
17	Cristina Cachero, Jaime Gómez, Oscar Pastor 0001	Object-Oriented Conceptual Modeling of Web Application Interfaces: the OO-HMethod Abstract Presentation Model.	EC-Web	2000	DBLP DOI BibTeX RDF
17	Tullio Tanzi, Sylvie Servigne, Régis Guiol	Real-Time Information System for Risk Management on Motorways.	CAiSE	1998	DBLP DOI BibTeX RDF
17	Janusz Rajski, Jerzy Tyszer	Modular logic built-in self-test for IP cores.	ITC	1998	DBLP DOI BibTeX RDF
17	Robert Snelick	S-Check: a Tool for Tuning Parallel Programs.	IPPS	1997	DBLP DOI BibTeX RDF
17	Russell L. Shackelford, Richard J. LeBlanc	Integrating "depth first" and "breadth first" models of computing curricula.	SIGCSE	1994	DBLP DOI BibTeX RDF
17	Lori L. Pollock, Mary Lou Soffa	Incremental Global Reoptimization of Programs.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	incremental data flow analysis, incremental reoptimization, optimization dependencies, compiler optimization
17	Ulrich Fraus, Heinrich Hußmann	An Inductive Theorem Prover Based on Narrowing.	LPAR	1992	DBLP DOI BibTeX RDF
17	Alan M. Frisch, Anthony G. Cohn 0001	An Abstract View of Sorted Unification.	CADE	1992	DBLP DOI BibTeX RDF
17	Ulrich Fraus, Heinrich Hußmann	A Narrowing-Based Theorem Prover.	PLILP	1991	DBLP DOI BibTeX RDF
17	Ulrich Fraus	A Narrowing-Based Theorem Prover.	RTA	1991	DBLP DOI BibTeX RDF
17	Don Erickson	Technical Support Program for APL Related Question.	APL	1990	DBLP DOI BibTeX RDF	APL
17	Howard B. Newcombe, James M. Kennedy	Record linkage: making maximum use of the discriminating power of identifying information.	Commun. ACM	1962	DBLP DOI BibTeX RDF