Search results for "Intuition"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Silvia Mara Abrahão, Cristina Cachero, Maristella Matera	Workshop PC Chairs' Message.	WISE Workshops	2007	DBLP DOI BibTeX RDF
8	Suhyun Kim, Soo-Mook Moon	Rotating Register Allocation for Enhanced Pipeline Scheduling.	PACT	2007	DBLP DOI BibTeX RDF
8	Tony Hoare	Science and Engineering: A Collusion of Cultures.	DSN	2007	DBLP DOI BibTeX RDF
8	Di Yang, Elke A. Rundensteiner, Matthew O. Ward	Nugget discovery in visual exploration environments by query consolidation.	CIKM	2007	DBLP DOI BibTeX RDF	query consolidation, query redundancy, distance metrics
8	Juan Caballero, Heng Yin 0001, Zhenkai Liang, Dawn Xiaodong Song	Polyglot: automatic extraction of protocol message format using dynamic binary analysis.	CCS	2007	DBLP DOI BibTeX RDF	protocol reverse engineering, binary analysis
8	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta	Boolean Abstraction for Temporal Logic Satisfiability.	CAV	2007	DBLP DOI BibTeX RDF
8	Qi He 0002, Kuiyu Chang, Ee-Peng Lim	Using Burstiness to Improve Clustering of Topics in News Streams.	ICDM	2007	DBLP DOI BibTeX RDF
8	Katrin Franke, Sargur N. Srihari	Computational Forensics: Towards Hybrid-Intelligent Crime Investigation.	IAS	2007	DBLP DOI BibTeX RDF
8	Byung-Won On, Nick Koudas, Dongwon Lee 0001, Divesh Srivastava	Group Linkage.	ICDE	2007	DBLP DOI BibTeX RDF
8	Iyad Rahwan, Philippe Pasquier, Liz Sonenberg, Frank Dignum	On the Benefits of Exploiting Hierarchical Goals in Bilateral Automated Negotiation.	ArgMAS	2007	DBLP DOI BibTeX RDF
8	Rui Yang, Dan Li, Wei Zhou	A Study on the Form of Representation of the User's Mental Model-Oriented Ancient Map of China.	HCI (1)	2007	DBLP DOI BibTeX RDF	ancient map, mental model, information representation
8	Ciera Jaspan, I-Chin Chen, Anoop Sharma	Understanding the value of program analysis tools.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	value-based software, program analysis, economics
8	Atsuo Takanishi, Jorge Solis	Research Trends on Musical Performance Robots.	RO-MAN	2007	DBLP DOI BibTeX RDF
8	John Harney, Prashant Doshi	Speeding up adaptation of web service compositions using expiration times.	WWW	2007	DBLP DOI BibTeX RDF	expiration times, volatile environments, web services, adaptation
8	Boris Motik, Ian Horrocks 0001, Ulrike Sattler	Bridging the gap between OWL and relational databases.	WWW	2007	DBLP DOI BibTeX RDF	semantic web, relational databases, OWL
8	Bettina Fazzinga, Sergio Flesca, Andrea Pugliese 0001	Vague Queries on Peer-to-Peer XML Databases.	DEXA	2007	DBLP DOI BibTeX RDF
8	Paul Brauner, Clément Houtmann, Claude Kirchner	Principles of Superdeduction.	LICS	2007	DBLP DOI BibTeX RDF
8	Daniel A. Spielman	Spectral Graph Theory and its Applications.	FOCS	2007	DBLP DOI BibTeX RDF
8	Aditya Dua, Benjamin Yolken, Nicholas Bambos	Power Managed Packet Switching.	ICC	2007	DBLP DOI BibTeX RDF
8	Pasquale Malacaria	Assessing security threats of looping constructs.	POPL	2007	DBLP DOI BibTeX RDF	security, information theory, language semantics
8	Árpád Beszédes, Tamás Gergely, Szabolcs Farago, Tibor Gyimóthy, Ferenc Fischer	The Dynamic Function Coupling Metric and Its Use in Software Evolution.	CSMR	2007	DBLP DOI BibTeX RDF
8	Ludmila I. Kuncheva, Juan José Rodríguez	An Experimental Study on Rotation Forest Ensembles.	MCS	2007	DBLP DOI BibTeX RDF	Rotation Forest, Pattern recognition, Feature extraction, Classifier ensembles
8	Pierre-Marc Bureau, José M. Fernandez 0001	Optimising Networks Against Malware.	IPCCC	2007	DBLP DOI BibTeX RDF
8	Hui Zhang 0006, Sidharth Thakur, Andrew J. Hanson	Haptic Exploration of Mathematical Knots.	ISVC (1)	2007	DBLP DOI BibTeX RDF
8	Alicia Y. C. Tang, Sharifuddin Mohd. Zain, Noorsaadah Abdul Rahman, Rukaini Abdullah	An Ontology-Based Reasoning Framework for Reaction Mechanisms Simulation.	KSEM	2007	DBLP DOI BibTeX RDF	reaction mechanisms, QPT, ontology, qualitative reasoning
8	Fang Bian, Sumit Rangwala, Ramesh Govindan	Quasi-static Centralized Rate Allocation for Sensor Networks.	SECON	2007	DBLP DOI BibTeX RDF
8	Andrew Arnold, Yan Liu 0002, Naoki Abe	Temporal causal modeling with graphical granger methods.	KDD	2007	DBLP DOI BibTeX RDF	graphical models, time series data, causal modeling
8	Jimeng Sun 0001, Christos Faloutsos, Spiros Papadimitriou, Philip S. Yu	GraphScope: parameter-free mining of large time-evolving graphs.	KDD	2007	DBLP DOI BibTeX RDF	graphs, streams, MDL, mining
8	Hanghang Tong, Christos Faloutsos, Brian Gallagher, Tina Eliassi-Rad	Fast best-effort pattern matching in large attributed graphs.	KDD	2007	DBLP DOI BibTeX RDF	pattern match, random walk, attributed graph
8	Martin J. Miller, David M. Ferrin, Marshall Ashby, Tanner Flynn, Niloo Shahi	Merging six emergency departments into one: a simulation approach.	WSC	2007	DBLP DOI BibTeX RDF
8	Mario Jorge Lima, Guilherme De Aquino Barbosa	Limitations in the use of mathematical models to support investment decisions.	WSC	2007	DBLP DOI BibTeX RDF
8	Alireza Kashanipour, Amir Reza Kashanipour, Nargess Shamshiri Milani, Peyman Akhlaghi, Kaveh Khezri Boukani	Robust Color Classification Using Fuzzy Reasoning and Genetic Algorithms in RoboCup Soccer Leagues.	RoboCup	2007	DBLP DOI BibTeX RDF	Genetic Algorithms, Image segmentation, fuzzy classification, Color classification, Soccer robot
8	Jan Mendling, Wil M. P. van der Aalst	Formalization and Verification of EPCs with OR-Joins Based on State and Context.	CAiSE	2007	DBLP DOI BibTeX RDF
8	Hans Ulrich Christensen, Daniel Ortiz Arroyo	F uzzyPR: An Effective Passage Retrieval System for QAS.	RSFDGrC	2007	DBLP DOI BibTeX RDF	Information Retrieval, Fuzzy Logic, Passage Retrieval, Question Answering Systems
8	Sunghun Kim 0001, Michael D. Ernst	Which warnings should I fix first?	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	bug-finding tool, prediction, patterns, fault, bug, fix
8	James Patten, Hiroshi Ishii 0001	Mechanical constraints as computational constraints in tabletop tangible interfaces.	CHI	2007	DBLP DOI BibTeX RDF	tangible interfaces, actuation, interactive surface, physical interaction, improvisation
8	Raif M. Rustamov	Augmented Symmetry Transforms.	Shape Modeling International	2007	DBLP DOI BibTeX RDF
8	Jiayue He, Martin Suchara, Ma'ayan Bresler, Jennifer Rexford, Mung Chiang	Rethinking internet traffic management: from multiple decompositions to a practical protocol.	CoNEXT	2007	DBLP DOI BibTeX RDF
8	Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky	CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors.	PLDI	2007	DBLP DOI BibTeX RDF	verification, synthesis, concurrent garbage collection, concurrent algorithms
8	Ramnath K. Chellappa, Raymond G. Sin	An economic model of portal competition under privacy concerns.	ICEC	2007	DBLP DOI BibTeX RDF	spatial competition, welfare analysis, privacy, personalization, nash-equilibrium
8	Rabia Nuray-Turan, Dmitri V. Kalashnikov, Sharad Mehrotra	Self-tuning in Graph-Based Reference Disambiguation.	DASFAA	2007	DBLP DOI BibTeX RDF
8	Xuan Tian, Xiaoyong Du 0001, Haihua Li	Computing Degree of Association Based on Different Semantic Relationships.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
8	Chun Yew Cheong, Swee Chiang Chiam, Chi Keong Goh	Eliminating Positional Dependency in Binary Representation via Redundancy.	FOCI	2007	DBLP DOI BibTeX RDF
8	Yang Cai	Instinctive Computing.	Artifical Intelligence for Human Computing	2007	DBLP DOI BibTeX RDF
8	Rob Mills, Richard A. Watson	Variable discrimination of crossover versus mutation using parameterized modular structure.	GECCO	2007	DBLP DOI BibTeX RDF	building block hypothesis, nearly decomposable systems, mutation, crossover
8	Yang-Sae Moon, Hun-Young Choi, Hea-Suk Kim, Jin-Ho Kim	Mining Meaningful Student Groups Based on Communication History Records.	KES (2)	2007	DBLP DOI BibTeX RDF
8	Y. Pardhasaradhi, Safdar Ahmed	Efficiency of electronic public service delivery in India: public-private partnership as a critical factor.	ICEGOV	2007	DBLP DOI BibTeX RDF	Bhoomi, e-Seva, e-governance practices, public private collaboration, efficiency
8	Lei Chai, Qi Gao 0004, Dhabaleswar K. Panda 0001	Understanding the Impact of Multi-Core Architecture in Cluster Computing: A Case Study with Intel Dual-Core System.	CCGRID	2007	DBLP DOI BibTeX RDF
8	Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer 0001	Experimental assessment of random testing for object-oriented software.	ISSTA	2007	DBLP DOI BibTeX RDF	software testing, random testing, experimental evaluation
8	Andrey DelPozo, Silvio Savarese	Detecting Specular Surfaces on Natural Images.	CVPR	2007	DBLP DOI BibTeX RDF
8	Albert Chow, Hae-Seung Lee	Transient Noise Analysis for Comparator-Based Switched-Capacitor Circuits.	ISCAS	2007	DBLP DOI BibTeX RDF
8	Tonse Laxminidhi, Shanthi Pavan	Design Centering High Frequency Integrated Continuous-Time Filters.	ISCAS	2007	DBLP DOI BibTeX RDF
8	Soon-Bok Lee, Jin-Woo Kim, Chee-Yang Song, Doo-Kwon Baik	An Approach to Analyzing Commonality and Variability of Features using Ontology in a Software Product Line Engineering.	SERA	2007	DBLP DOI BibTeX RDF
8	Ustun Yildiz, Claude Godart	Designing Decentralized Service Compositions: Challenges and Solutions.	WEBIST (Selected Papers)	2007	DBLP DOI BibTeX RDF
8	Doug Griffith	Neo-symbiosis: A Conceptual Tool for System Design.	HICSS	2007	DBLP DOI BibTeX RDF
8	Jingzhou Li, Ahmed Al-Emran, Günther Ruhe	Impact Analysis of Missing Values on the Prediction Accuracy of Analogy-based Software Effort Estimation Method AQUA.	ESEM	2007	DBLP DOI BibTeX RDF
8	Robert C. Meurant	Metaphysics and Multimedia.	MUE	2007	DBLP DOI BibTeX RDF
8	Amin Nobakhti, Martin Brown, Hong Wang 0001	On Reduced Structure Control and the 1-norm regularisation.	ICNSC	2007	DBLP DOI BibTeX RDF
8	Colin Molter, Utku Salihoglu, Hugues Bersini	How Stochastic Noise Helps Memory Retrieval in a Chaotic Brain.	IJCNN	2007	DBLP DOI BibTeX RDF
8	Shannon Duvall	Implementation of DomCAT: the domain complexity analysis tool for natural language dialog processing.	Richard Tapia Celebration of Diversity in Computing Conference	2007	DBLP DOI BibTeX RDF	dialog processing, complexity
8	Stelios Sidiroglou, Oren Laadan, Angelos D. Keromytis, Jason Nieh	Using Rescue Points to Navigate Software Recovery.	S&P	2007	DBLP DOI BibTeX RDF
8	Christina Lioma, Iadh Ounis	Extending Weighting Models with a Term Quality Measure.	SPIRE	2007	DBLP DOI BibTeX RDF
8	Dariusz Król 0001, Tadeusz Lasota, Wojciech Nalepa, Bogdan Trawinski	Fuzzy System Model to Assist with Real Estate Appraisals.	IEA/AIE	2007	DBLP DOI BibTeX RDF
8	G. Sudha Anil Kumar, G. Manimaran, Zhengdao Wang	Energy-aware scheduling with deadline and reliability constraints in wireless networks.	BROADNETS	2007	DBLP DOI BibTeX RDF
8	K. Najeeb, Karthik Gururaj, V. Kamakoti 0001, Vivekananda M. Vedula	Controllability-driven Power Virus Generation for Digital Circuits.	VLSI Design	2007	DBLP DOI BibTeX RDF
8	Georgios Keramidas, Polychronis Xekalakis, Stefanos Kaxiras	Applying Decay to Reduce Dynamic Power in Set-Associative Caches.	HiPEAC	2007	DBLP DOI BibTeX RDF
8	Virendra J. Marathe, Mark Moir	Efficient nonblocking software transactional memory.	PPoPP	2007	DBLP DOI BibTeX RDF	software transactional memory, nonblocking
8	Sunghun Kim 0001, Michael D. Ernst	Prioritizing Warning Categories by Analyzing Software History.	MSR	2007	DBLP DOI BibTeX RDF
8	Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce	A Formal Investigation of.	FSTTCS	2007	DBLP DOI BibTeX RDF
8	Judicaël Courant, Cristian Ene, Yassine Lakhnech	Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption.	FSTTCS	2007	DBLP DOI BibTeX RDF
8	Domenico Cotroneo, Roberto Pietrantuono, Leonardo Mariani, Fabrizio Pastore	Investigation of failure causes in workload-driven reliability testing.	SOQUA	2007	DBLP DOI BibTeX RDF	JVM monitoring, model inference, workloads execution, log file analysis, automated analysis
8	Ustun Yildiz, Claude Godart	Centralized versus Decentralized Conversation-based Orchestrations.	CEC/EEE	2007	DBLP DOI BibTeX RDF
8	Alex Bobrek, JoAnn M. Paul, Donald E. Thomas	Shared Resource Access Attributes for High-Level Contention Models.	DAC	2007	DBLP DOI BibTeX RDF
8	Youjian Liu, Bin Xu, Mahesh K. Varanasi	On Discrete Memoryless Relay Channels with Designable Transmitter Side Information.	CISS	2007	DBLP DOI BibTeX RDF
8	Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge	Normative system games.	AAMAS	2007	DBLP DOI BibTeX RDF	complexity, games, logic, goals, normative systems
8	Milo M. K. Martin, Colin Blundell, E Christopher Lewis	Subtleties of Transactional Memory Atomicity Semantics.	IEEE Comput. Archit. Lett.	2006	DBLP DOI BibTeX RDF
8	Richard Otte	Counterfactuals and Epistemic Probability.	Synth.	2006	DBLP DOI BibTeX RDF
8	Hai-Jun Su, J. Michael McCarthy, Masha Sosonkina, Layne T. Watson	Algorithm 857: POLSYS_GLP - a parallel general linear product homotopy code for solving polynomial systems of equations.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	Chow-Yorke algorithm, Fortran 95, general linear product, linear product decomposition, probability-one, fixed point, globally convergent, zero, curve tracking, homotopy methods
8	Pallav Sudarshan, Neelesh B. Mehta, Andreas F. Molisch, Jin Zhang 0006	Channel Statistics-Based RF Pre-Processing with Antenna Selection.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
8	JuHum Kwon, O-Hoon Choi, Chang-Joo Moon, Soo-Hyun Park, Doo-Kwon Baik	Deriving similarity for Semantic Web using similarity graph.	J. Intell. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Similarity graph, Ontology, Semantic web, WordNet, Mapping rules
8	Sumitha Bhandarkar, Saurabh Jain, A. L. Narasimha Reddy	LTCP: improving the performance of TCP in highspeed networks.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF	highspeed networks, congestion control, protocol design, AIMD
8	Michalis Faloutsos	Public review for the internet AS-level topology: three data sources and one definitive metric.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF
8	Alan Scheller-Wolf, Rein Vesilo	Structural interpretation and derivation of necessary and sufficient conditions for delay moments in FIFO multiserver queues.	Queueing Syst. Theory Appl.	2006	DBLP DOI BibTeX RDF	Finite moment conditions, Necessary and sufficient conditions, Multiserver queues
8	Michael R. Fellows, Jens Gramm, Rolf Niedermeier	On The Parameterized Intractability Of Motif Search Problems.	Comb.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 03D15, 68Q17, 68Q25
8	Xin-Mao Huang, Cheng-Yue Chang, Ming-Syan Chen	PeerCluster: A Cluster-Based Peer-to-Peer System.	IEEE Trans. Parallel Distributed Syst.	2006	DBLP DOI BibTeX RDF	peer-to-peer, hypercube, data sharing, Data broadcasting
8	Justin Zobel, Timothy C. Hoad	Detection of video sequences using compact signatures.	ACM Trans. Inf. Syst.	2006	DBLP DOI BibTeX RDF	Video similarity detection, dynamic programming, local alignment
8	Angel Lozano, Antonia M. Tulino, Sergio Verdú	Optimum Power Allocation for Parallel Gaussian Channels With Arbitrary Input Distributions.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
8	Gang Liang, Nina Taft, Bin Yu 0001	A fast lightweight approach to origin-destination IP traffic estimation using partial measurements.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF	iterative proportional fitting, origin-destination (OD) traffic matrix, partial measurement, statistical game, minimax
8	Jameson Miller, Cory Quammen, Matthew Fleenor	Interactive Visualization of Intercluster Galaxy Structures in the Horologium-Reticulum Supercluster.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Sparse point visualization, astronomy, cosmology
8	Yuhua Li 0001, David McLean 0001, Zuhair Bandar, James O'Shea, Keeley A. Crockett	Sentence Similarity Based on Semantic Nets and Corpus Statistics.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	natural language processing, corpus, semantic nets, Sentence similarity, word similarity
8	Vincent C. S. Lee, Linyi Shao	Estimating Potential IT Security Losses: An Alternative Quantitative Approach.	IEEE Secur. Priv.	2006	DBLP DOI BibTeX RDF
8	Grady Booch	The Accidental Architecture.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	Web-centric systems, software architecture
8	Eli Turkel	Numerical Methods and Nature.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	regularization, preconditioning, Finite differences
8	Andre Tkacenko, P. P. Vaidyanathan	Iterative greedy algorithm for solving the FIR paraunitary approximation problem.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
8	Andre Tkacenko, P. P. Vaidyanathan	On the spectral factor ambiguity of FIR energy compaction filter Banks.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
8	Piotr Faliszewski, Lane A. Hemaspaandra	Open questions in the theory of semifeasible computation.	SIGACT News	2006	DBLP DOI BibTeX RDF
8	Gwen Barriac, Upamanyu Madhow	Space-time precoding for mean and covariance feedback: application to wideband OFDM.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
8	Jerry M. Mendel, Hongwei Wu	Type-2 Fuzzistics for Symmetric Interval Type-2 Fuzzy Sets: Part 1, Forward Problems.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
8	Alan Robinson, Yupo Chan, Dennis C. Dietz	Detecting a Security Disturbance in Multi Commodity Stochastic Networks.	Telecommun. Syst.	2006	DBLP DOI BibTeX RDF	Multi commodity network-flow, Origin-destination estimation, Non-parametric statistics, Network security, Facility location, Stochastic network
8	Alicja Gruzdz, Aleksandra Ihnatowicz, Dominik Slezak	Interactive Gene Clustering-A Case Study of Breast Cancer Microarray Data.	Inf. Syst. Frontiers	2006	DBLP DOI BibTeX RDF	Entropy, Self-organizing maps, Breast cancer, Missing values, DNA microarrays