Search results for "Generality"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	John William Hatfield, Scott Duke Kominers	Matching in networks with bilateral contracts: extended abstract.	EC	2010	DBLP DOI BibTeX RDF	quasisubmodularity, networks, stability, matching, substitutes
7	Lidan Wang, Jimmy Lin, Donald Metzler	Learning to efficiently rank.	SIGIR	2010	DBLP DOI BibTeX RDF	effectiveness and efficiency tradeoff, learning to rank, linear models
7	Jon Jansen, Louis Bavoil	Fourier opacity mapping.	SI3D	2010	DBLP DOI BibTeX RDF	fog, opacity mapping, volumetric, shadows, smoke, particles, hair
7	Carl Hewitt	Perfect Disruption: The Paradigm Shift from Mental Agents to ORGs.	IEEE Internet Comput.	2009	DBLP DOI BibTeX RDF
7	John K. Reid, Jennifer A. Scott	An out-of-core sparse Cholesky solver.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	Cholesky, multifrontal, out-of-core solver, sparse symmetric linear systems
7	Bader Al-Manthari, Hossam S. Hassanein, Najah A. Abu Ali, Nidal Nasser	Fair Class-Based Downlink Scheduling with Revenue Considerations in Next Generation Broadband Wireless Access Systems.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
7	Loïc Cerf, Jérémy Besson, Céline Robardet, Jean-François Boulicaut	Closed patterns meet n-ary relations.	ACM Trans. Knowl. Discov. Data	2009	DBLP DOI BibTeX RDF	n-ary relations, constraint properties, tiling, constraint-based mining, Closed patterns
7	Lutz Schröder, Dirk Pattinson	PSPACE bounds for rank-1 modal logics.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Shallow models, resolution, coalgebra
7	Jing Lei 0005, Roy D. Yates, Larry J. Greenstein, Hang Liu	Mapping link SNRs of real-world wireless networks onto an indoor testbed.	IEEE Trans. Wirel. Commun.	2009	DBLP DOI BibTeX RDF
7	Myongkeun Oh, Victor Matveev	Loss of phase-locking in non-weakly coupled inhibitory networks of type-I model neurons.	J. Comput. Neurosci.	2009	DBLP DOI BibTeX RDF	Non-weak coupling, Non-synchronous dynamics, Inhibitory network, Type-I excitability, Synaptic inhibition, Leader switching, Spike-time response, Phase resetting, Synchronization
7	Michael Callahan, Martin J. Cole, Jason F. Shepherd, Jeroen G. Stinstra, Chris R. Johnson 0001	A meshing pipeline for biomedical computing.	Eng. Comput.	2009	DBLP DOI BibTeX RDF
7	Germano Resconi, Boris Kovalerchuk	Agents' model of uncertainty.	Knowl. Inf. Syst.	2009	DBLP DOI BibTeX RDF	Uncertainty logic, Conflicting agents, Fuzzy logic, Rough sets, Intuitionistic fuzzy sets, Evidence theory, Contradiction, Ignorance
7	Willem Waegeman, Bernard De Baets, Luc Boullart	Kernel-based learning methods for preference aggregation.	4OR	2009	DBLP DOI BibTeX RDF	MSC classification (2000) 91B08
7	Jean Marcelo Simão, Paulo Cézar Stadzisz	Inference Based on Notifications: A Holonic Metamodel Applied to Control Issues.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
7	Cydney B. Nielsen, Shaun D. Jackman, Inanç Birol, Steven J. M. Jones	ABySS-Explorer: Visualizing Genome Sequence Assemblies.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
7	Sara Johansson 0001, Jimmy Johansson 0001 (eds.)	Interactive Dimensionality Reduction Through User-defined Combinations of Quality Metrics.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
7	Stefan Valentin Gheorghita, Martin Palkovic, Juan Hamers, Arnout Vandecappelle, Stelios Mamagkakis, Twan Basten, Lieven Eeckhout, Henk Corporaal, Francky Catthoor, Frederik Vandeputte, Koen De Bosschere	System-scenario-based design of dynamic embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	dynamic nature, system scenarios, real-time systems, embedded systems, Design methodology, energy reduction
7	Claudio Turchetti, Giorgio Biagetti, Francesco Gianfelici, Paolo Crippa	Nonlinear System Identification: An Effective Framework Based on the Karhunen-LoÈve Transform.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
7	Volkan Cevher, Lance M. Kaplan	Acoustic sensor network design for position estimation.	ACM Trans. Sens. Networks	2009	DBLP DOI BibTeX RDF	Bayesian experimental design, sensor networks, dynamic programming
7	Rong Qu, Edmund K. Burke, Barry McCollum, Liam T. G. Merlot, S. Y. Lee	A survey of search methodologies and automated system development for examination timetabling.	J. Sched.	2009	DBLP DOI BibTeX RDF	Benchmark problem datasets, Search methodologies, Examination timetabling
7	Augusto Destrero, Christine De Mol, Francesca Odone, Alessandro Verri	A Regularized Framework for Feature Selection in Face Detection and Authentication.	Int. J. Comput. Vis.	2009	DBLP DOI BibTeX RDF	Lasso regression, Thresholded Landweber, Real-time system, Feature selection, Face detection, Learning from examples, Face authentication, Regularized methods
7	Pierre Kraemer, David Cazier, Dominique Bechmann	Extension of half-edges for the representation of multiresolution subdivision surfaces.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Geometric modeling, Subdivision surfaces, Topological model, Combinatorial maps, Multiresolution meshes
7	Raanan Fattal	Participating media illumination using light propagation maps.	ACM Trans. Graph.	2009	DBLP DOI BibTeX RDF	discrete ordinates method, Global illumination, Monte Carlo, radiosity, participating media
7	Alessio Micheli	Neural Network for Graphs: A Contextual Constructive Approach.	IEEE Trans. Neural Networks	2009	DBLP DOI BibTeX RDF
7	Yasser Hifny, Steve Renals	Speech Recognition Using Augmented Conditional Random Fields.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
7	Henrik Grosskreutz, Stefan Rüping 0001	On Subgroup Discovery in Numerical Domains.	ECML/PKDD (1)	2009	DBLP DOI BibTeX RDF
7	Chan-seok Jeong, Dongsup Kim	Linear predictive coding representation of correlated mutation for protein sequence alignment.	DTMBIO	2009	DBLP DOI BibTeX RDF	correlated mutation analysis, protein sequence alignment, linear predictive coding
7	Ben Goertzel	The Embodied Communication Prior: A characterization of general intelligence in the context of Embodied social interaction.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
7	Dominik Jain, Lorenz Mösenlechner, Michael Beetz	Equipping robot control programs with first-order probabilistic reasoning capabilities.	ICRA	2009	DBLP DOI BibTeX RDF
7	Kenta Tanaka, Yasuyuki Kihara, Yasuyoshi Yokokohji	Synthesizing a desired trajectory and sensory feedback control laws for an origami-folding robot based on the statistical characteristics of direct teaching by a human.	ICRA	2009	DBLP DOI BibTeX RDF
7	Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi	Type-based specialization of xml transformations.	PEPM	2009	DBLP DOI BibTeX RDF	types, xml, tree automata, program specialization
7	Fabio Simeoni, Leonardo Candela, David Lievens, Pasquale Pagano, Manuele Simi	Functional Adaptivity for Digital Library Services in e-Infrastructures: The gCube Approach.	ECDL	2009	DBLP DOI BibTeX RDF
7	Alvaro E. Arenas, Jean-Pierre Banâtre, Thierry Priol	Developing Autonomic and Secure Virtual Organisations with Chemical Programming.	SSS	2009	DBLP DOI BibTeX RDF
7	Sudipto Guha, Kamesh Munagala, Peng Shi 0002	Approximation algorithms for restless bandit problems.	SODA	2009	DBLP DOI BibTeX RDF
7	Frédéric Chazal, Leonidas J. Guibas, Steve Oudot, Primoz Skraba	Analysis of scalar fields over point cloud data.	SODA	2009	DBLP DOI BibTeX RDF
7	Serge Gaspers, Gregory B. Sorkin	A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between.	SODA	2009	DBLP DOI BibTeX RDF
7	Ewing L. Lusk	Using MPI to Implement Scalable Libraries.	PVM/MPI	2009	DBLP DOI BibTeX RDF
7	Coromoto León, Gara Miranda, Carlos Segura	Hyperheuristics for a Dynamic-Mapped Multi-Objective Island-Based Model.	IWANN (2)	2009	DBLP DOI BibTeX RDF
7	Masayuki Numao, Takayuki Nishikawa, Toshihito Sugimoto, Satoshi Kurihara, Roberto Sebastian Legaspi	Constructive Adaptive User Interfaces Based on Brain Waves.	HCI (2)	2009	DBLP DOI BibTeX RDF
7	Ekkart Kindler, Laure Petrucci	Towards a Standard for Modular Petri Nets: A Formalisation.	Petri Nets	2009	DBLP DOI BibTeX RDF	Modular Petri Nets, Standardisation, High-Level Nets
7	Brian D. Ziebart, Nathan D. Ratliff, Garratt Gallagher, Christoph Mertz, Kevin M. Peterson, James A. Bagnell, Martial Hebert, Anind K. Dey, Siddhartha S. Srinivasa	Planning-based prediction for pedestrians.	IROS	2009	DBLP DOI BibTeX RDF
7	Michael DeRosa, Seth Copen Goldstein, Peter Lee 0001, Padmanabhan Pillai, Jason Campbell	A tale of two planners: Modular robotic planning with LDP.	IROS	2009	DBLP DOI BibTeX RDF
7	Vishwanathan Mohan, Jacopo Zenzeri, Pietro G. Morasso, Giorgio Metta	Composing and coordinating body models of arbitrary connectivity and redundancy: A biomimmetic field computing approach.	IROS	2009	DBLP DOI BibTeX RDF
7	Gabriella Castelli, Ronaldo Menezes, Franco Zambonelli	Self-organized control of knowledge generation in pervasive computing systems.	SAC	2009	DBLP DOI BibTeX RDF	context-awareness, pervasive computing, self-organization, knowledge engineering
7	Christopher Scaffidi, Brad A. Myers, Mary Shaw	Fast, Accurate Creation of Data Validation Formats by End-User Developers.	IS-EUD	2009	DBLP DOI BibTeX RDF	web macros, web applications, Data validation
7	Alessandro Vindigni, Oliver Portmann, Niculin Saratz, Fabio Cinti, Paolo Politi, Danilo Pescia	Temperature-Induced Domain Shrinking in Ising Ferromagnets Frustrated by a Long-Range Interaction.	Complex (1)	2009	DBLP DOI BibTeX RDF	frustrated systems, long-range interactions, competing interactions, Ising model, modulated systems
7	Bénédicte Le Grand, Michel Soto, Marie-Aude Aufaure	Conceptual and Spatial Footprints for Complex Systems Analysis: Application to the Semantic Web.	DEXA	2009	DBLP DOI BibTeX RDF	Conceptual footprint, Clustering, Ontologies, Visualization, Semantic Web, Navigation, Formal Concept Analysis, Topic Maps, Galois lattices
7	Yuval Ishai, Manoj Prabhakaran 0001, Amit Sahai	Secure Arithmetic Computation with No Honest Majority.	TCC	2009	DBLP DOI BibTeX RDF
7	Nathan Grasso Bronson, Christos Kozyrakis, Kunle Olukotun	Feedback-directed barrier optimization in a strongly isolated STM.	POPL	2009	DBLP DOI BibTeX RDF	bytecode rewriting, deoptimization, strong isolation, weak isolation, transactional memory, hot swap
7	Robert S. R. Myers, Dirk Pattinson, Lutz Schröder	Coalgebraic Hybrid Logic.	FoSSaCS	2009	DBLP DOI BibTeX RDF
7	Manolis Mavrikis, Sergio Gutiérrez Santos	Informing the Design of Intelligent Support for ELE by Communication Capacity Tapering.	EC-TEL	2009	DBLP DOI BibTeX RDF
7	Alessandro Antonucci 0001, Alberto Piatti	Modeling Unreliable Observations in Bayesian Networks by Credal Networks.	SUM	2009	DBLP DOI BibTeX RDF
7	Giuseppe Di Fabbrizio, Thomas Okken, Jay G. Wilpon	A speech mashup framework for multimodal mobile services.	ICMI	2009	DBLP DOI BibTeX RDF	speech mashup, speech services, speech system architecture, web services, multimodal, mashups
7	Sim-Hui Tee	Inclusion of Property Profile in the Production Rule Pattern for Visualization Software Design.	IVIC	2009	DBLP DOI BibTeX RDF	Property profile, production rule pattern, visualization software design, overridden methods, information visualization
7	Lorenzo De Carli, Yi Pan, Amit Kumar 0007, Cristian Estan, Karthikeyan Sankaralingam	PLUG: flexible lookup modules for rapid deployment of new protocols in high-speed routers.	SIGCOMM	2009	DBLP DOI BibTeX RDF	high-speed routers, flexibility, dataflow, forwarding, lookup, tiled architectures
7	Francesco Lelli, Cesare Pautasso	The Tiny Instrument Element.	GPC	2009	DBLP DOI BibTeX RDF
7	Sushamna Deodhar, Alan L. Tharp	Shift Hashing for Memory-Constrained Applications.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
7	Jun Wang 0006, Eric Pohlmeyer, Barbara Hanna, Yu-Gang Jiang, Paul Sajda, Shih-Fu Chang	Brain state decoding for rapid image retrieval.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	image annotation and search, noisy label refinement, visual pattern mining, brain computer interface
7	Luca Zini, Augusto Destrero, Francesca Odone	A Classification Architecture Based on Connected Components for Text Detection in Unconstrained Environments.	AVSS	2009	DBLP DOI BibTeX RDF
7	Shijun Lv, Minghu Zhang, Youfeng Li, Xiaojuan Yu	Design on the Fault Diagnostic System Based on Virtual Instrument Technique.	WKDD	2009	DBLP DOI BibTeX RDF
7	Konstantin N. Nechval, Nicholas A. Nechval, Gundars Berzinsh, Maris Purgailis, Uldis Rozevskis, Vladimir Strelchonok	Optimal Adaptive Inspection Planning Process in Service of Fatigued Aircraft Structures.	ASMTA	2009	DBLP DOI BibTeX RDF	fatigue crack, optimal adaptive planning, inspection, Aircraft
7	Yoshiyuki Yamashita, Masato Tsuru	Implementing Fast Packet Filters by Software Pipelining on x86 Processors.	APPT	2009	DBLP DOI BibTeX RDF
7	José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira	Verifying Cryptographic Software Correctness with Respect to Reference Implementations.	FMICS	2009	DBLP DOI BibTeX RDF
7	Cormac Flanagan, Stephen N. Freund	FastTrack: efficient and precise dynamic race detection.	PLDI	2009	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions
7	Lothar Thiele, Nikolay Stoimenov	Modular performance analysis of cyclic dataflow graphs.	EMSOFT	2009	DBLP DOI BibTeX RDF	dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus
7	Ender Özcan, A. Sima Etaner-Uyar, Edmund K. Burke	A greedy hyper-heuristic in dynamic environments.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	mutational heuristics, adaptive, dynamic environments, hill climbing, hyper-heuristics, greedy
7	Edmund K. Burke, Timothy Curtois, Graham Kendall, Matthew R. Hyde, Gabriela Ochoa, José Antonio Vázquez Rodríguez	Towards the decathlon challenge of search heuristics.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	combinatorial optimization, metaheuristics, software framework, hyperheuristics
7	Safaa Zaman, Fakhri Karray	Lightweight IDS Based on Features Selection and IDS Classification Scheme.	CSE (3)	2009	DBLP DOI BibTeX RDF
7	Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon	Avoiding unbounded priority inversion in barrier protocols using gang priority management.	JTRES	2009	DBLP DOI BibTeX RDF
7	Benjamin Wells	Advances in I/O, Speedup, and Universality on Colossus, an Unconventional Computer.	UC	2009	DBLP DOI BibTeX RDF	universal computation, small UTM, preclassical computers, Colossus
7	Jaume Baixeries, Laszlo Szathmary, Petko Valtchev, Robert Godin	Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice.	ICFCA	2009	DBLP DOI BibTeX RDF
7	Luc De Raedt	The Logic of Learning.	ICFCA	2009	DBLP DOI BibTeX RDF
7	Miao Song 0001, Serguei A. Mokhov, Alison R. Loader, Maureen J. Simmonds	A stereoscopic OpenGL-based interactive plug-in framework for Maya and beyond.	VRCAI	2009	DBLP DOI BibTeX RDF	Maya, frameworks, OpenGL, plug-ins, stereoscopy
7	Jinki Jung, Kyusung Cho, Hyun Seung Yang	Real-time robust body part tracking for augmented reality interface.	VRCAI	2009	DBLP DOI BibTeX RDF	body-part tracking, interface system, augmented reality
7	Feng Chen 0006, Grigore Rosu	Parametric Trace Slicing and Monitoring.	TACAS	2009	DBLP DOI BibTeX RDF
7	Filip Blagojevic, Costin Iancu, Katherine A. Yelick, Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, Benjamin Rose	Scheduling dynamic parallelism on accelerators.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	cooperative scheduling, cell be
7	Gerhard Paass, Anja Pilz, Jochen Schwenninger	Named Entity Recognition of Spoken Documents Using Subword Units.	ICSC	2009	DBLP DOI BibTeX RDF
7	Hao Wen 0014, Jia Liu 0024, Chuang Lin 0002, Fengyuan Ren, Pan Li 0001, Yuguang Fang	RENA: region-based routing in intermittently connected mobile network.	MSWiM	2009	DBLP DOI BibTeX RDF	ICMN, storage-friendly, routing, DTN
7	Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino, Luca Padovani	Foundations of session types.	PPDP	2009	DBLP DOI BibTeX RDF	communication centered programming, semantic subtyping, testing equivalencies, concurrency, sessions types
7	Karl R. Beutner, Gautam Prasad, Evan Fletcher, Charles DeCarli, Owen T. Carmichael	Estimating Uncertainty in Brain Region Delineations.	IPMI	2009	DBLP DOI BibTeX RDF
7	Luís Torgo, Welma Pereira, Carlos Soares	Detecting Errors in Foreign Trade Transactions: Dealing with Insufficient Data.	EPIA	2009	DBLP DOI BibTeX RDF
7	José Júlio Alferes, Alfredo Gabaldon, João Leite 0001	A Logic Programming System for Evolving Programs with Temporal Operators.	EPIA	2009	DBLP DOI BibTeX RDF
7	Saqib Sohail, Fabio Somenzi	Safety first: A two-stage algorithm for LTL games.	FMCAD	2009	DBLP DOI BibTeX RDF
7	Ricardo Sanz, Carlos Hernández 0001, Adolfo Hernando, Jaime Gómez, Julita Bermejo	Grounding Robot Autonomy in Emotion and Self-awareness.	FIRA	2009	DBLP DOI BibTeX RDF
7	Shirley Gregor	Building theory in the sciences of the artificial.	DESRIST	2009	DBLP DOI BibTeX RDF	philosophy of technology, practical sciences, sciences of the artificial, theory, design science, philosophy of science, theory building
7	Grigore Rosu, Dorel Lucanu	Circular Coinduction: A Proof Theoretical Foundation.	CALCO	2009	DBLP DOI BibTeX RDF
7	Lin Wang 0038, Wee Keong Ng, Bing Song	Constraint Satisfaction Approach on Product Configuration with Cost Estimation.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Constraint satisfaction problem, Cost estimation, Product family, Mass customization, Product configuration
7	Yasser F. O. Mohammad, Toyoaki Nishida	Robust Singular Spectrum Transform.	IEA/AIE	2009	DBLP DOI BibTeX RDF
7	Jon Lee 0001, Maxim Sviridenko, Jan Vondrák	Submodular Maximization over Multiple Matroids via Generalized Exchange Properties.	APPROX-RANDOM	2009	DBLP DOI BibTeX RDF
7	Rakesh Agrawal 0001, Alan Halverson, Krishnaram Kenthapadi, Nina Mishra, Panayiotis Tsaparas	Generating labels from clicks.	WSDM	2009	DBLP DOI BibTeX RDF	generating training data, graph partitioning
7	Ivan Nunes da Silva, Rogério Andrade Flauzino	Efficient Parametric Adjustment of Fuzzy Inference System Using Error Backpropagation Method.	ICANN (1)	2009	DBLP DOI BibTeX RDF	tuning algorithm, error backpropagation, Fuzzy systems
7	Daniel J. Bernstein	Batch Binary Edwards.	CRYPTO	2009	DBLP DOI BibTeX RDF	batch throughput, Karatsuba, Toom, binary Edwards curves, differential addition, complete addition formulas, elliptic curves, vectorization, Scalar multiplication, Diffie-Hellman
7	Ronald Cramer, Ivan Damgård	On the Amortized Complexity of Zero-Knowledge Protocols.	CRYPTO	2009	DBLP DOI BibTeX RDF
7	Ueli M. Maurer	Abstraction in Cryptography.	CRYPTO	2009	DBLP DOI BibTeX RDF
7	Unmesh D. Bordoloi, Samarjit Chakraborty	Accelerating System-Level Design Tasks Using Commodity Graphics Hardware: A Case Study.	VLSI Design	2009	DBLP DOI BibTeX RDF
7	Chun-Nam John Yu, Thorsten Joachims	Learning structural SVMs with latent variables.	ICML	2009	DBLP DOI BibTeX RDF
7	Tomonobu Ozaki, Takenao Ohkawa	Discovery of Correlated Sequential Subgraphs from a Sequence of Graphs.	ADMA	2009	DBLP DOI BibTeX RDF	Graph sequences, Graph mining, Correlation mining
7	Amit K. Chopra, Munindar P. Singh	Multiagent commitment alignment.	AAMAS (2)	2009	DBLP BibTeX RDF	alignment, commitments, autonomy, asynchrony
7	Chongjie Zhang, Sherief Abdallah, Victor R. Lesser	Integrating organizational control into multi-agent learning.	AAMAS (2)	2009	DBLP BibTeX RDF	coordinated learning, organization control, policy adaptation, supervision, multi-agent learning
7	Frans A. Oliehoek, Shimon Whiteson, Matthijs T. J. Spaan	Lossless clustering of histories in decentralized POMDPs.	AAMAS (1)	2009	DBLP BibTeX RDF	decentralized POMDPs, planning under uncertainty, cooperative multiagent systems