Search results for "Grounds"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Levent Gürel, Ugur Oguz	Simulations of ground-penetrating radars over lossy and heterogeneous grounds.	IEEE Trans. Geosci. Remote. Sens.	2001	DBLP DOI BibTeX RDF
21	Charbel Niño El-Hani, Claus Emmeche	On some theoretical grounds for an organism-centered biology: Property emergence, supervenience, and downward causation.	Theory Biosci.	2000	DBLP DOI BibTeX RDF
21	Zhubo Huang, Kenneth R. Demarest, Richard G. Plumb	An FDTD/MoM hybrid technique for modeling complex antennas in the presence of heterogeneous grounds.	IEEE Trans. Geosci. Remote. Sens.	1999	DBLP DOI BibTeX RDF
21	Catharina Riedemann, Werner Kuhn	What Are Sports Grounds? Or: Why Semantics Requires Interoperability.	INTEROP	1999	DBLP DOI BibTeX RDF
21	Jae-Il Yeom, Ik-Hwan Lee	Common Grounds as Multiple Information States.	PACLIC	1998	DBLP BibTeX RDF
21	Yannick Lallement, Melanie Hilario, Frédéric Alexandre	Neurosymbolic Integration: Cognitive Grounds and Computational Strategies.	WOCFAI	1995	DBLP BibTeX RDF
21	Manuel García-Carpintero Sánchez-Miguel	The Grounds for the Model-theoretic Account of the Logical Properties.	Notre Dame J. Formal Log.	1993	DBLP DOI BibTeX RDF
21	Yves J. Khawam	Epistemological grounds for cybernetic models.	J. Am. Soc. Inf. Sci.	1991	DBLP DOI BibTeX RDF
21	John Howard, David P. Reed (eds.)	Proceedings of the Eighth Symposium on Operating System Principles, SOSP 1981, Asilomar Conference Grounds, Pacific Grove, California, USA, December 14-16, 1981	SOSP	1981	DBLP DOI BibTeX RDF
21	Arthur J. Bernstein, Paul K. Harter Jr.	Proving Real-Time Properties of Programs with Temporal Logic.	SOSP	1981	DBLP DOI BibTeX RDF
21	A. J. Herbert, Roger M. Needham	Sequencing Computation Steps in a Network.	SOSP	1981	DBLP DOI BibTeX RDF
21	Matt Bishop	Hierarchical Take-Grant Protection Systems.	SOSP	1981	DBLP DOI BibTeX RDF
21	Fred J. Pollack, Kevin C. Kahn, Roy M. Wilkinson	The iMAX-432 Object Filing System.	SOSP	1981	DBLP DOI BibTeX RDF
21	Gottfried W. R. Luderer, H. Che, J. P. Haggerty, Peter A. Kirslis, W. T. Marshall	A Distributed UNIX System Based on a Virtual Circuit Switch.	SOSP	1981	DBLP DOI BibTeX RDF	UNIX
21	Mahadev Satyanarayanan	A Study of File Sizes and Functional Lifetimes.	SOSP	1981	DBLP DOI BibTeX RDF
21	Richard W. Carr, John L. Hennessy	WSClock - A Simple and Effective Algorithm for Virtual Memory Management.	SOSP	1981	DBLP DOI BibTeX RDF
21	Norman K. Meyrowitz, Margaret Moser	BRUWIN: An Adaptable Design Strategy for Window Manager / Virtual Terminal Systems.	SOSP	1981	DBLP DOI BibTeX RDF
21	Andrew Birrell, Roy Levin, Roger M. Needham, Michael D. Schroeder	Gravevine: An Exercise in Distributed Computing (summary).	SOSP	1981	DBLP DOI BibTeX RDF	Grapevine
21	George W. Cox, William M. Corwin, Konrad K. Lai, Fred J. Pollack	A Unified Model and Implementation for Interprocess Communication in a Multiprocessor Environment.	SOSP	1981	DBLP DOI BibTeX RDF
21	David K. Gifford	Cryptographic Sealing for Information Secrecy and Authentication (Summary).	SOSP	1981	DBLP DOI BibTeX RDF
21	Richard F. Rashid, George G. Robertson	Accent: A Communication Oriented Network Operating System Kernel.	SOSP	1981	DBLP DOI BibTeX RDF	PERQ, Network, Networking, Distributed computation, Operating systems, UNIX, Virtual memory, Paging, VAX, Inter-process communication
21	Özalp Babaoglu, William N. Joy	Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Reference Bits.	SOSP	1981	DBLP DOI BibTeX RDF	UNIX, VAX
21	Edward D. Lazowska, Henry M. Levy, Guy T. Almes, Michael J. Fischer, Robert J. Fowler, Stephen C. Vestal	The Architecture of the Eden System.	SOSP	1981	DBLP DOI BibTeX RDF
21	Gerald J. Popek, Bruce J. Walker, Johanna M. Chow, David A. Edwards, Charles S. Kline, Gerard Rudisin, Greg Thiel	LOCUS - A Network Transparent, High Reliability Distributed System.	SOSP	1981	DBLP DOI BibTeX RDF	LOCUS
21	Hugh C. Lauer	Observations on the Development of an Operating System.	SOSP	1981	DBLP DOI BibTeX RDF	System classification, Software engineering, Operating system, System development, Personal computer, Pilot
21	Marek Fridrich, William J. Older	The Felix File System.	SOSP	1981	DBLP DOI BibTeX RDF
21	Kevin C. Kahn, William M. Corwin, T. Don Dennis, Herman D'Hooge, David E. Hubka, Linda A. Hutchins, John T. Montague, Fred J. Pollack	iMAX: A Multiprocessor Operating System for an Object-Based Computer.	SOSP	1981	DBLP DOI BibTeX RDF
21	John M. Rushby	Design and Verification of Secure Systems.	SOSP	1981	DBLP DOI BibTeX RDF
21	Joel F. Bartlett	A NonStop Kernel.	SOSP	1981	DBLP DOI BibTeX RDF
21	Alfred Z. Spector	Performing Remore Operations Efficiently on a Local Computer Network (Summary).	SOSP	1981	DBLP DOI BibTeX RDF
21	Liba Svobodova	A Reliable Object-Oriented Data Repository for a Distributed Computer System.	SOSP	1981	DBLP DOI BibTeX RDF	Atomic update, Distributed data storage system, Optical disk, Memory management, Server, Crash recovery, Stable storage
21	James G. Mitchell, Jeremy Dion	A Comparison of Two Network-Based File Servers.	SOSP	1981	DBLP DOI BibTeX RDF
21	Michael D. Schroeder, Anita K. Jones (eds.)	Proceedings of the Seventh Symposium on Operating System Principles, SOSP 1979, Asilomar Conference Grounds, Pacific Grove, California, USA, 10-12, December 1979	SOSP	1979	DBLP DOI BibTeX RDF
21	Keith A. Lantz, Richard F. Rashid	Virtual Terminal Management in a Multiple Process Environment.	SOSP	1979	DBLP DOI BibTeX RDF
21	David P. Reed	Implementing Atomic Actions on Decentralized Data.	SOSP	1979	DBLP DOI BibTeX RDF
21	Edward F. Gehringer	Variable-Length Capabilities as a Solution to the Small-Object Problem.	SOSP	1979	DBLP DOI BibTeX RDF
21	M. D. Canon, D. H. Fritz, John H. Howard, T. D. Howell, Michael F. Mitoma, Juan Rodriguez-Rossel	A Virtual Machine Emulator for Performance Evaluation (Summary). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF
21	William H. Paxton	A Client-Based Transaction System to Maintain Data Integrity.	SOSP	1979	DBLP DOI BibTeX RDF
21	Douglas Cook	In Support of Domain Structure for Operating Systems.	SOSP	1979	DBLP DOI BibTeX RDF
21	David K. Gifford	Weighted Voting for Replicated Data.	SOSP	1979	DBLP DOI BibTeX RDF	File suite, Weak representative, Computer network, Transaction, File system, Locking, Quorum, Replicated data, Representative, Weighted voting
21	Bruce J. Walker, Richard A. Kemmerer, Gerald J. Popek	Specification and Verification of the UCLA Unix Security Kernel (Extended Abstract). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF	UNIX
21	Butler W. Lampson, Robert F. Sproull	An Open Operating System for a Single-User Machine.	SOSP	1979	DBLP DOI BibTeX RDF
21	Guy T. Almes, Edward D. Lazowska	The Behavior of Ethernet-Like Computer Communication Networks.	SOSP	1979	DBLP DOI BibTeX RDF	Local area computer network, Supervisory system design and evaluation, Packet switching, Distributed computing system, Broadcast communication
21	Roger M. Needham	Systems Aspects of the Cambridge Ring.	SOSP	1979	DBLP DOI BibTeX RDF
21	Toby Bloom	Evaluating Synchronization Mechanisms.	SOSP	1979	DBLP DOI BibTeX RDF
21	John K. Ousterhout, Donald A. Scelza, Pradeep S. Sindhu	Medusa: An Experiment in Distributed Operating System Structure (Summary). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF
21	Warren A. Montgomery	Polyvalues: A Tool for Implementing Atomic Updates to Distributed Data.	SOSP	1979	DBLP DOI BibTeX RDF
21	Anita K. Jones, Robert J. Chansler Jr., Ivor Durham, Karsten Schwan, Steven R. Vegdahl	StarOS, a Multiprocessor Operating System for the Support of Task Forces.	SOSP	1979	DBLP DOI BibTeX RDF	Cm/STAROS
21	Butler W. Lampson, David D. Redell	Experience with Processes and Monitors in Mesa (Summary). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF	MESA
21	Matt Bishop, Lawrence Snyder	The Transfer of Information and Authority in a Protection System.	SOSP	1979	DBLP DOI BibTeX RDF
21	Barbara H. Liskov	Primitives for Distributed Computing.	SOSP	1979	DBLP DOI BibTeX RDF
21	Richard P. Reitman	A Mechanism for Information Control in Parallel Systems.	SOSP	1979	DBLP DOI BibTeX RDF	Axiomatic logic, Information control, Concurrency, Synchronization, Consistency, Information security
21	B. Kumar, Timothy A. Gonsalves	Modelling and Analysis of Distributed Software Systems.	SOSP	1979	DBLP DOI BibTeX RDF
21	Daniel C. Swinehart, Gene McDaniel, David R. Boggs	WFS: A Simple Shared File System for a Distributed Environment.	SOSP	1979	DBLP DOI BibTeX RDF
21	David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, Stephen C. Purcell	Pilot: An Operating System for a Personal Computer (Summary). (long version: CACM 23(2))	SOSP	1979	DBLP DOI BibTeX RDF	PILOT, MESA
21	Marvin H. Solomon, Raphael A. Finkel	The ROSCOE Distributed Operating System.	SOSP	1979	DBLP DOI BibTeX RDF
11	Ido Guy, Li Chen 0009, Michelle X. Zhou	Workshop on social recommender systems.	IUI	2010	DBLP DOI BibTeX RDF	recommender systems, web 2.0, social media, social web
11	Vassiliki Koufi, Flora Malamateniou, George Vassilacopoulos	An agent-based application of personal health record in homecare.	PETRA	2010	DBLP DOI BibTeX RDF	software agents, workflow systems, personal health record, homecare
11	Thomas Kollar, Stefanie Tellex, Deb Roy, Nicholas Roy	Toward understanding natural language directions.	HRI	2010	DBLP DOI BibTeX RDF	direction understanding, route instructions, spatial language
11	Amir M. Ben-Amram	A complexity tradeoff in ranking-function termination proofs.	Acta Informatica	2009	DBLP DOI BibTeX RDF
11	Nuel Belnap	Truth Values, Neither-true-nor-false, and Supervaluations.	Stud Logica	2009	DBLP DOI BibTeX RDF	neither-true-nor-false, non-denoting terms, future tense, vagueness, paradoxes, truth values
11	Peter M. Scharf	Levels in Panini's Ast hadhya yi.	Sanskrit Computational Linguistics	2009	DBLP DOI BibTeX RDF	generative grammar, Panini, Astadhyayi, phonology, morphophonemic, syntacticosemantic, computational implementation, semantics, morphology, syntax, levels
11	David N. Chin, Dong-Wan Kang, Curtis S. Ikehara	Plan Recognition of Movement.	UMAP	2009	DBLP DOI BibTeX RDF	RFID, movement, plan recognition, Lidar, behavior analysis
11	Huang-Chen Lee, Chun-Yu Lin, Shang-Wen Hsu, Chung-Ta King	On building mobility models for floating objects.	SenSys	2009	DBLP DOI BibTeX RDF	floating object, non-autonomous moving, wireless sensor networks, mobility model, network simulation, drift
11	Haider Abbas, Louise Yngström, Ahmed Hemani	Adaptability infrastructure for bridging IT security evaluation and options theory.	SIN	2009	DBLP DOI BibTeX RDF	it product evaluation, it security evaluation, options theory
11	Alexandros Mourouzis, Grammati-Eirini Kastori, Konstantinos Votis, Evangelos Bekiaris, Dimitrios Tzovaras	A Harmonised Methodology towards Measuring Accessibility.	HCI (5)	2009	DBLP DOI BibTeX RDF	Evaluation, Accessibility, Disability, Assessment tools
11	Jukka Huhtamäki, Ossi Nykänen, Jaakko Salonen	Catalysing the Development of a Conference Workspace.	HCI (12)	2009	DBLP DOI BibTeX RDF	Semantic Web, online communities, social media, information modelling, information visualisation
11	Nicolas Figay, Parisa Ghodous	Innovative interoperability framework for enterprise applications within virtual enterprises.	MEDES	2009	DBLP DOI BibTeX RDF	extended hypermodel, interoperability framework
11	Xijin Tang 0001	Qualitative Meta-synthesis Techniques for Analysis of Public Opinions for in-depth Study.	Complex (2)	2009	DBLP DOI BibTeX RDF	qualitative meta-synthesis, CorMap, iView, meta-synthesis, word association
11	John L. Henning	SPECrate2006: Alternatives Considered, Lessons Learned.	SPEC Benchmark Workshop	2009	DBLP DOI BibTeX RDF
11	Matt Smart, Eike Ritter	Remote Electronic Voting with Revocable Anonymity.	ICISS	2009	DBLP DOI BibTeX RDF
11	Shimon Schocken	Virtual machines: abstraction and implementation.	ITiCSE	2009	DBLP DOI BibTeX RDF	abstraction., software engineering, compilation, virtual machines, programming paradigms
11	Chang Wook Ahn, Hyun-Tae Kim	Estimation of particle swarm distribution algorithms: bringing together the strengths of PSO and EDAs.	GECCO	2009	DBLP DOI BibTeX RDF	local/global search, particle swarm optimization, estimation of distribution algorithms
11	Stefanie Tellex, Deb Roy	Towards surveillance video search by natural language query.	CIVR	2009	DBLP DOI BibTeX RDF	video retrieval, spatial language
11	Aniello Buonocore, Luigia Caputo, Enrica Pirozzi, Luigi M. Ricciardi	On a Generalized Leaky Integrate-and-Fire Model for Single Neuron Activity.	EUROCAST	2009	DBLP DOI BibTeX RDF	Neuron firing, LIF model, diffusion process
11	Aneesh Chauhan, Amanda Sávio Nascimento, Bruno Werneck, Luís Seabra Lopes	Embodied Language Acquisition: A Proof of Concept.	EPIA	2009	DBLP DOI BibTeX RDF
11	Igor Margasinski	A Parallelism-Based Approach to Network Anonymization.	NordSec	2009	DBLP DOI BibTeX RDF	anonymous network architectures, privacy, anonymity, Communication system security
11	Dimosthenis Georgiadis, Panagiotis Germanakos, Panayiotis Andreou, George Samaras	Evaluation Metrics for eHealth Services and Applications within Smart Houses Context.	ICOST	2009	DBLP DOI BibTeX RDF
11	Ross Paul Cameron	Truthmakers and necessary connections.	Synth.	2008	DBLP DOI BibTeX RDF	Truthmakers, Necessary connections, Lewis
11	Nathan Jacobs, Robert Pless	Time Scales in Video Surveillance.	IEEE Trans. Circuits Syst. Video Technol.	2008	DBLP DOI BibTeX RDF
11	Henry Prakken	A formal model of adjudication dialogues.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Legal argument, Legal procedure, Adjudication, Dialogue games
11	Antonio Camurri, Corrado Canepa, Paolo Coletta, Nicola Ferrari, Barbara Mazzarino, Gualtiero Volpe	Social active listening and making of expressive music: the interactive piece the bow is bent and drawn.	DIMEA	2008	DBLP DOI BibTeX RDF	active listening of music, expressive interfaces, full-body motion
11	Sérgio Bryton, Fernando Brito e Abreu	Modularity-Oriented Refactoring.	CSMR	2008	DBLP DOI BibTeX RDF
11	Peter Fritzson, David Broman, François E. Cellier	Equation-Based Object-Oriented Languages and Tools.	ECOOP Workshops	2008	DBLP DOI BibTeX RDF
11	Richard Nock, Frank Nielsen	On the efficient minimization of convex surrogates in supervised learning.	ICPR	2008	DBLP DOI BibTeX RDF
11	Nikolay Begunov, Ilya Moskalev, Boris Klebanov	City agent-based model.	SpringSim	2008	DBLP DOI BibTeX RDF	city decision support systems, social computer science, system dynamics, multi agent based simulation
11	Anand Tikotekar, Geoffroy Vallée, Thomas J. Naughton, Hong Ong, Christian Engelmann, Stephen L. Scott	An Analysis of HPC Benchmarks in Virtual Machine Environments.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF
11	Michael White 0002	Permeating innovative technologies throughout the institution.	SIGUCCS	2008	DBLP DOI BibTeX RDF	models of technology use, diffusion of innovations, new technologies
11	Duygu Çelik, Atilla Elçi	Semantic QoS Model for Extended IOPE Matching and Composition of Web Services.	COMPSAC	2008	DBLP DOI BibTeX RDF	Dispatcher Model, Semantic Search Agents and Queuing, Semantic Web Services
11	Jeremy W. Pauli, Ty E. Lawrence, Brennon F. Brown	Development of a New Software Product from a Classroom Project.	ITNG	2008	DBLP DOI BibTeX RDF	Software Development, Entrepreneurship, Student Project, New Product Development
11	Krzysztof Halawa	Fast and Robust Way of Learning the Fourier Series Neural Networks on the Basis of Multidimensional Discrete Fourier Transform.	ICAISC	2008	DBLP DOI BibTeX RDF
11	Daniel Kahn, Clément Rezvoy, Frédéric Vivien	Parallel Large Scale Inference of Protein Domain Families.	ICPADS	2008	DBLP DOI BibTeX RDF
11	Takashi Hamaguchi, Kazuhiro Takeda, Yukiyasu Shimada, Yoshihiro Hashimoto	Plant Model Generation for Countermeasures Planning.	KES (3)	2008	DBLP DOI BibTeX RDF	Alarm Management, Countermeasures Planning, CE-matrices
11	Kivanc Zorlu, Candan Gokceoglu	Prediction of the Collapse Index by a Mamdani Fuzzy Inference System.	KES (1)	2008	DBLP DOI BibTeX RDF	caliche, collapsible ground, collapse index, fuzzy inference system
11	Marije Teerling, Willem Pieterson, Marijn Janssen, Bram Klievink, Koen Pauwels	Multi-channel management workshop.	DG.O	2008	DBLP BibTeX RDF
11	Björn Hartmann, Loren Yu, Abel Allison, Yeonsoo Yang, Scott R. Klemmer	Design as exploration: creating interface alternatives through parallel authoring and runtime tuning.	UIST	2008	DBLP DOI BibTeX RDF	prototyping, design tools, design alternatives
11	Stephen Wilson	Public key superstructure "it's PKI Jim, but not as we know it!".	IDtrust	2008	DBLP DOI BibTeX RDF	authentication, PKI, public key infrastructure, digital certificates
11	Peter Géczy, Noriaki Izumi, Shotaro Akaho, Kôiti Hasida	Analytics and Management of Collaborative Intranets.	CollaborateCom	2008	DBLP DOI BibTeX RDF	Collaborative Intranets, Web-based Portals, Logs, Analytics
11	Krzysztof Diks, Jan Madey	From Top Coders to Top IT Professionals.	ISSEP	2008	DBLP DOI BibTeX RDF
11	Boris P. Leontyev	Implementation of ER diagrams in the framework of a Periodic Table of Generic Visualization methods.	ICDIM	2008	DBLP DOI BibTeX RDF