Search results for "SPIRIT"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Alexandre Goldsztejn	A Right-Preconditioning Process for the Formal-Algebraic Approach to Inner and Outer Estimation of AE-Solution Sets.	Reliab. Comput.	2005	DBLP DOI BibTeX RDF
9	Konstantinos Koutroumbas	COMAX: A Cooperative Method for Determining the Position of the Maxima.	Neural Process. Lett.	2005	DBLP DOI BibTeX RDF	feedforward neural network architectures, Hamming Max-net, recurrent neural network architectures, selection of the position of the maximum, associative memories
9	Andreas Pitsillides, Petros A. Ioannou, Marios Lestas, Loukas Rossides	Adaptive nonlinear congestion controller for a differentiated-services framework.	IEEE/ACM Trans. Netw.	2005	DBLP DOI BibTeX RDF	differentiated-services framework, nonlinear adaptive control theory, internet, ATM, congestion control
9	Herwig Mannaert, Kris Ven	The use of open source software platforms by Independent Software Vendors: issues and opportunities.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	independent software vendor, open source software, platforms
9	John Tang Boyland	Remote attribute grammars.	J. ACM	2005	DBLP DOI BibTeX RDF	Language description, collection attributes, remote attribution
9	Jerker Hammarberg, Simin Nadjm-Tehrani	Formal verification of fault tolerance in safety-critical reconfigurable modules.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
9	Tsachy Weissman, Neri Merhav	On causal source codes with side information.	IEEE Trans. Inf. Theory	2005	DBLP DOI BibTeX RDF
9	Yonina C. Eldar, Neri Merhav	Minimax MSE-ratio estimation with signal covariance uncertainties.	IEEE Trans. Signal Process.	2005	DBLP DOI BibTeX RDF
9	Yong Sun, Zixiang Xiong, Xiaodong Wang 0001	EM-based iterative receiver design with carrier-frequency offset estimation for MIMO OFDM systems.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
9	Philipp Gerhardy, Ulrich Kohlenbach	Extracting Herbrand disjunctions by functional interpretation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Herbrand’s theorem, functional interpretation
9	Zhuowen Tu, Xiangrong Chen, Alan L. Yuille, Song Chun Zhu	Image Parsing: Unifying Segmentation, Detection, and Recognition.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	image parsing, data driven Markov Chain Monte Carlo, image segmentation, object recognition, object detection, AdaBoost
9	Peter J. Stuckey, Martin Sulzmann	A theory of overloading.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	evidence translation, Constraints, type inference, coherence, overloading, type classes
9	Vahan Harput, Hermann Kaindl, Stefan Kramer 0001	Extending Function Point Analysis of Object-Oriented Requirements Specifications.	IEEE METRICS	2005	DBLP DOI BibTeX RDF
9	Garud Iyengar, David J. Phillips, Clifford Stein 0001	Approximation Algorithms for Semidefinite Packing Problems with Applications to Maxcut and Graph Coloring.	IPCO	2005	DBLP DOI BibTeX RDF
9	Jarkko Tikka, Jaakko Hollmén, Amaury Lendasse	Input Selection for Long-Term Prediction of Time Series.	IWANN	2005	DBLP DOI BibTeX RDF
9	Youngho Lee, Dahee Kim, Youngil Lim, Kyuhyung Kim, Hae Sun Kim, Woontack Woo	Dream of Mee-Luck: Aspiration for a New Dawn.	International Conference on Virtual Storytelling	2005	DBLP DOI BibTeX RDF
9	Laurence Tratt	Compile-time meta-programming in a dynamically typed OO language.	DLS	2005	DBLP DOI BibTeX RDF
9	Frank McSherry	A uniform approach to accelerated PageRank computation.	WWW	2005	DBLP DOI BibTeX RDF	random walks, link analysis, PageRank, web graph
9	Chih-Yao Lo, Chen-Feng Wu	The Survey and Expansion on Quantitative Methods to Conflict Resolution.	ICITA (1)	2005	DBLP DOI BibTeX RDF	conjlict resolution. agent, quantitative
9	Jijun Tang, Bernard M. E. Moret	Linear Programming for Phylogenetic Reconstruction Based on Gene Rearrangements.	CPM	2005	DBLP DOI BibTeX RDF
9	Paolo Ferragina, Fabrizio Luccio, Giovanni Manzini, S. Muthukrishnan 0001	Structuring labeled trees for optimal succinctness, and beyond.	FOCS	2005	DBLP DOI BibTeX RDF
9	Yichen Xie 0001, Alexander Aiken	Scalable error detection using boolean satisfiability.	POPL	2005	DBLP DOI BibTeX RDF	program analysis, error detection, boolean satisfiability
9	Sanjay Jain 0001, Eric Martin 0002, Frank Stephan 0001	Absolute Versus Probabilistic Classification in a Logical Setting.	ALT	2005	DBLP DOI BibTeX RDF
9	Ulrich Fahrenberg	A Category of Higher-Dimensional Automata.	FoSSaCS	2005	DBLP DOI BibTeX RDF	Higher-dimensional automata, open maps, directed topology, bisimulation, fibrations
9	Gaihua Fu, Christopher B. Jones, Alia I. Abdelmoty	Ontology-Based Spatial Query Expansion in Information Retrieval.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF	Ontology, Semantic Web, Query Expansion, Spatial Search
9	Samuel Ehrlichman, Shane G. Henderson	Adaptive control variates for American option pricing.	WSC	2005	DBLP BibTeX RDF
9	Serge Abiteboul, Tova Milo, Omar Benjelloun	Regular rewriting of active XML and unambiguity.	PODS	2005	DBLP DOI BibTeX RDF
9	Geert Willems, Frank Verbiest, Maarten Vergauwen, Luc Van Gool	Real-Time Image Based Rendering from Uncalibrated Images.	3DIM	2005	DBLP DOI BibTeX RDF
9	Chad D. Sterling, Ronald A. Olsson	Automated bug isolation via program chipping.	AADEBUG	2005	DBLP DOI BibTeX RDF	bug isolation, program chipping, debugging, program slicing, data slicing
9	Jing Tang 0001, Meng-Hiot Lim, Yew-Soon Ong, Meng Joo Er	Solving large scale combinatorial optimization using PMA-SLS.	GECCO	2005	DBLP DOI BibTeX RDF	island model parallel memetic algorithm, selective local search, combinatorial optimization, quadratic assignment problem
9	Lashon B. Booker	Adaptive value function approximations in classifier systems.	GECCO Workshops	2005	DBLP DOI BibTeX RDF	hyperplane coding, tile coding, reinforcement learning, learning classifier systems, function approximation
9	Jean Monnerat, Serge Vaudenay	Chaum's Designated Confirmer Signature Revisited.	ISC	2005	DBLP DOI BibTeX RDF
9	Dengyong Zhou, Bernhard Schölkopf	Regularization on Discrete Spaces.	DAGM-Symposium	2005	DBLP DOI BibTeX RDF
9	Laurent Castanie, Bruno Lévy 0001, Fabien Bosquet	VolumeExplorer: Roaming Large Volumes to Couple Visualization and Data Processing for Oil and Gas Exploration.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
9	Min Wu 0007, Anthony Vetro, Jonathan S. Yedidia, Huifang Sun, Chang Wen Chen	A study of encoding and decoding techniques for syndrome-based video coding.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
9	Gabriel Peyré, Laurent D. Cohen	Heuristically Driven Front Propagation for Geodesic Paths Extraction.	VLSM	2005	DBLP DOI BibTeX RDF
9	Ashwin Srinivasan 0001	Five Problems in Five Areas for Five Years.	ILP	2005	DBLP DOI BibTeX RDF
9	Dulce T. Pumareja, Klaas Sikkel	The Role of Dissonance in Knowledge Exchange: A Case Study of a Knowledge Management System Implementation.	HICSS	2005	DBLP DOI BibTeX RDF
9	D. Sandy Staples, Ann Frances Cameron	The Effect of Task Design, Team Characteristics, Organizational Context and Team Processes on the Performance and Attitudes of Virtual Team Members.	HICSS	2005	DBLP DOI BibTeX RDF
9	João Candido Portinari	The Portinari project: IR helps art and culture.	SIGIR	2005	DBLP DOI BibTeX RDF
9	York Sure, Stephan Bloehdorn, Peter Haase 0001, Jens Hartmann 0001, Daniel Oberle	The SWRC Ontology - Semantic Web for Research Communities.	EPIA	2005	DBLP DOI BibTeX RDF
9	Bartek Klin	The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.	CALCO	2005	DBLP DOI BibTeX RDF
9	Jochen Dinger, Hannes Hartenstein	On the Challenge of Assessing Overlay Topology Adaptation Mechanisms.	Peer-to-Peer Computing	2005	DBLP DOI BibTeX RDF
9	Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova	Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.	SEFM	2005	DBLP DOI BibTeX RDF
9	Kar-Ann Toh, Xudong Jiang 0001, Wei-Yun Yau	Relaxation of Hard Classification Targets for LSE Minimization.	EMMCVPR	2005	DBLP DOI BibTeX RDF	Multivariate Polynomials and Machine Learning, Pattern Recognition, Parameter Estimation, Pattern Classification
9	Jianyang Zeng 0001, Wen-Jing Hsu	Optimal Routing in a Small-World Network.	PDCAT	2005	DBLP DOI BibTeX RDF
9	Claudio Sacerdoti Coen	Explanation in Natural Language of lamda-µµ-Terms.	MKM	2005	DBLP DOI BibTeX RDF
9	Didier Dubois, Laurent Foulloy, Gilles Mauris, Henri Prade	Probability-Possibility Transformations, Triangular Fuzzy Sets, and Probabilistic Inequalities.	Reliab. Comput.	2004	DBLP DOI BibTeX RDF
9	G. Alan Creak	Parsing by numbers and asparagus.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
9	Annalisa Bossi, Sandro Etalle, Sabina Rossi, Jan-Georg Smaus	Termination of simply moded logic programs with dynamic scheduling.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	simply moded, Logic programs, termination, dynamic scheduling
9	Marie Duflot, Laurent Fribourg, Claudine Picaronny	Randomized dining philosophers without fairness assumption.	Distributed Comput.	2004	DBLP DOI BibTeX RDF
9	John Horgan	The End of Science Revisited.	Computer	2004	DBLP DOI BibTeX RDF
9	Peter A. Flach, Nicolas Lachiche	Naive Bayesian Classification of Structured Data.	Mach. Learn.	2004	DBLP DOI BibTeX RDF	first-order features, knowledge representation, inductive logic programming, bayesian classifier, structured data
9	Nelson Siu-Hang Chu, Chiew-Lan Tai	Real-Time Painting with an Expressive Virtual Chinese Brush.	IEEE Computer Graphics and Applications	2004	DBLP DOI BibTeX RDF
9	Victor R. Basili, Barry W. Boehm, Al Davis, Watts S. Humphrey, Nancy G. Leveson, Nancy R. Mead, John D. Musa, David Lorge Parnas, Shari Lawrence Pfleeger, Elaine J. Weyuker	New Year's Resolutions for Software Quality.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	software quality
9	Marek Chrobak, Elias Koutsoupias	Coordination mechanisms for congestion games.	SIGACT News	2004	DBLP DOI BibTeX RDF
9	Sehoon Yea, William A. Pearlman	A wavelet-based two-stage near-lossless coder.	ICIP	2004	DBLP DOI BibTeX RDF
9	Dietmar Berwanger, Erich Grädel	Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games.	LPAR	2004	DBLP DOI BibTeX RDF
9	Dachuan Yu, Andrew Kennedy, Don Syme	Formalization of generics for the .NET common language runtime.	POPL	2004	DBLP DOI BibTeX RDF	CLR, run-time types, generics, polymorphism, NET
9	Sotiris E. Nikoletseas, Christoforos L. Raptopoulos, Paul G. Spirakis	The Existence and Efficient Construction of Large Independent Sets in General Random Intersection Graphs.	ICALP	2004	DBLP DOI BibTeX RDF
9	Manfred Broy	Distributed Concurrent Object-Oriented Software.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
9	Walter Oberschelp	Discrete and Continuous Methods of Demography.	Logic versus Approximation	2004	DBLP DOI BibTeX RDF
9	Xiaohong Jiao, Tielong Shen, Yuanzhang Sun, Katsutoshi Tamura	Krasovskii functional, Razumikhin function and backstepping.	ICARCV	2004	DBLP DOI BibTeX RDF
9	Marcelo Finger	Towards Polynomial Approximations of Full Propositional Logic.	SBIA	2004	DBLP DOI BibTeX RDF
9	Matthew Beaumont, John Thornton 0001, Abdul Sattar 0001, Michael J. Maher	Solving Over-Constrained Temporal Reasoning Problems Using Local Search.	PRICAI	2004	DBLP DOI BibTeX RDF
9	Thomas Guionnet, Christine Guillemot	Joint Source-Channel Decoding of Quasi-Arithmetic Codes.	Data Compression Conference	2004	DBLP DOI BibTeX RDF
9	Peter Pepper	Distributed Teaching of Formal Methods.	TFM	2004	DBLP DOI BibTeX RDF
9	Erol Gelenbe	An Approach to Quality of Service.	ISCIS	2004	DBLP DOI BibTeX RDF
9	Minghao Yin, Wen-Xiang Gu, Yinghua Lu	Fast plan recognition through graph construction and analysis.	SMC (3)	2004	DBLP DOI BibTeX RDF
9	Pierre Fraigniaud, Cyril Gavoille, Christophe Paul	Eclecticism shrinks even small worlds.	PODC	2004	DBLP DOI BibTeX RDF	routing, distributed hash tables, small world graphs
9	Hui Zhang 0005, Paul A. Yushkevich, James C. Gee	Registration of Diffusion Tensor Images.	CVPR (1)	2004	DBLP DOI BibTeX RDF
9	Francisco Hernández Quiroz	Full Abstraction for Gamma.	ENC	2004	DBLP DOI BibTeX RDF
9	Genoveva Vargas-Solar, Luciano García-Bañuelos, José-Luis Zechinelli-Martini	Toward Aspect Oriented Services Coordination for Building Modern Information Systems.	ENC	2004	DBLP DOI BibTeX RDF
9	John W. Stamey Jr., Thomas L. Honeycutt	Christopher Alexander's fifteen properties applied to the design of communication.	SIGDOC	2004	DBLP DOI BibTeX RDF	Christopher Alexander, architectural properties, nature of order, design patterns, documentation, web design, web interfaces
9	Stefan Wölfl 0001	Qualitative Action Theory: A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency.	JELIA	2004	DBLP DOI BibTeX RDF
9	Jinn-ke Jan, Yi-Hwa Chen	A New Efficient MAKEP for Wireless Communications.	AINA (2)	2004	DBLP DOI BibTeX RDF	Wireless network, key distribution, Key exchange, Mutual authentication, Man-in-the-middle attack
9	Julien Bect, Laure Blanc-Féraud, Gilles Aubert, Antonin Chambolle	A l1-Unified Variational Framework for Image Restoration.	ECCV (4)	2004	DBLP DOI BibTeX RDF
9	Abraham Flaxman, David Gamarnik, Gregory B. Sorkin	Embracing the Giant Component.	LATIN	2004	DBLP DOI BibTeX RDF
9	Julia Kempe, Alexei Y. Kitaev, Oded Regev 0001	The Complexity of the Local Hamiltonian Problem.	FSTTCS	2004	DBLP DOI BibTeX RDF
9	Annegret Habel, Berthold Hoffmann	Parallel Independence in Hierarchical Graph Transformation.	ICGT	2004	DBLP DOI BibTeX RDF
9	Ofer Dekel, Joseph Keshet, Yoram Singer	Large margin hierarchical classification.	ICML	2004	DBLP DOI BibTeX RDF
9	Anton Kargl, Götz Wiesend	On Randomized Addition-Subtraction Chains to Counteract Differential Power Attacks.	ICICS	2004	DBLP DOI BibTeX RDF
9	Jean Monnerat, Serge Vaudenay	On Some Weak Extensions of AES and BES.	ICICS	2004	DBLP DOI BibTeX RDF	AES, Rijndael, BES
9	Ofer Dekel, Joseph Keshet, Yoram Singer	An Online Algorithm for Hierarchical Phoneme Classification.	MLMI	2004	DBLP DOI BibTeX RDF
9	Jean H. P. Paelinck	On Locations and Distances.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	coordinates, locations, distances
9	Thomas Guionnet, Christine Guillemot	Soft decoding and synchronization of arithmetic codes: application to image transmission over noisy channels.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
9	Chee Yong Chan, Minos N. Garofalakis, Rajeev Rastogi	RE-tree: an efficient index structure for regular expressions.	VLDB J.	2003	DBLP DOI BibTeX RDF	Sampling-based approximations, Regular expressions, Index structure, Size measures
9	Renate A. Schmidt, Ullrich Hustadt	Mechanised Reasoning and Model Generation for Extended Modal Logics.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
9	Longin Jan Latecki, Rajagopal Venugopal, Marc Sobel, Steve Horvat	Tree-structured Partitioning Based on Splitting Histograms of Distances.	ICDM	2003	DBLP DOI BibTeX RDF
9	Mert Akinc, Kostas E. Bekris, Brian Y. Chen, Andrew M. Ladd, Erion Plaku, Lydia E. Kavraki	Probabilistic Roadmaps of Trees for Parallel Computation of Multiple Query Roadmaps.	ISRR	2003	DBLP DOI BibTeX RDF
9	Laks V. S. Lakshmanan, Fereidoon Sadri	Interoperability on XML Data.	ISWC	2003	DBLP DOI BibTeX RDF
9	Dennis Quan, David Huynh, David R. Karger	Haystack: A Platform for Authoring End User Semantic Web Applications.	ISWC	2003	DBLP DOI BibTeX RDF
9	Sea Ling, Seng Wai Loke	MIP-Nets: A Compositional Model of Multiagent Interaction.	CEEMAS	2003	DBLP DOI BibTeX RDF
9	Wilhelm Rödder, Gabriele Kern-Isberner	Self Learning or How to Make a Knowledge Base Curious about Itself.	KI	2003	DBLP DOI BibTeX RDF
9	Joseph Y. Halpern, Kevin R. O'Neill	Anonymity and Information Hiding in Multiagent Systems.	CSFW	2003	DBLP DOI BibTeX RDF
9	Vivek Srivastava, Uday Chebrolu, Klaus Mueller 0001	Interactive Transfer Function Modification For Volume Rendering Using Compressed Sample Runs.	Computer Graphics International	2003	DBLP DOI BibTeX RDF
9	Eugenio Moggi, Sonia Fagorzi	A Monadic Multi-stage Metalanguage.	FoSSaCS	2003	DBLP DOI BibTeX RDF
9	Alberto Momigliano, Simon Ambler	Multi-level Meta-reasoning with Higher-Order Abstract Syntax.	FoSSaCS	2003	DBLP DOI BibTeX RDF
9	David F. Bacon, Perry Cheng, V. T. Rajan	The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems.	OTM Workshops	2003	DBLP DOI BibTeX RDF
9	Athanassios N. Avramidis, Pierre L'Ecuyer, Pierre-Alexandre Tremblay	New simulation methodology for finance: efficient simulation of gamma and variance-gamma processes.	WSC	2003	DBLP DOI BibTeX RDF