Search results for "fix"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Mbakiso Fix Mothebe	Dimension Result for the Polynomial Algebra F2[x1, ..., xn] as a Module over the Steenrod Algebra.	Int. J. Math. Math. Sci.	2013	DBLP DOI BibTeX RDF
27	Christoph Kiemle, Andreas Schäfler, Martin Wirth, Andreas Fix, Stephan Rahm	Detection and Analysis of Water Vapor Transport by Airborne Lidars.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2013	DBLP DOI BibTeX RDF
27	Alexander Fix, Thorsten Joachims, Sam Park, Ramin Zabih	Structured learning of sum-of-submodular higher order energy functions.	CoRR	2013	DBLP BibTeX RDF
27	Jérémy Fix	Template based black-box optimization of dynamic neural fields.	Neural Networks	2013	DBLP DOI BibTeX RDF
27	Alexander Fix, Thorsten Joachims, Sung Min Park 0002, Ramin Zabih	Structured Learning of Sum-of-Submodular Higher Order Energy Functions.	ICCV	2013	DBLP DOI BibTeX RDF
27	D. Keith McInnes, Gemmae M. Fix, Jeffrey Solomon, Stephanie L. Shimada, Allen L. Gifford, Thomas K. Houston	Feasibility of Mobile phone Technologies to engage homeless Persons in outpatient Care.	AMIA	2013	DBLP BibTeX RDF
27	Jérémy Fix, Matthieu Geist	Monte-Carlo Swarm Policy Search.	ICAISC (SIDE-EC)	2012	DBLP DOI BibTeX RDF
27	Alexander Fix, Joyce Chen, Endre Boros, Ramin Zabih	Approximate MRF Inference Using Bounded Treewidth Subgraphs.	ECCV (1)	2012	DBLP DOI BibTeX RDF
27	Christoph Kiemle, Andreas Schäfler, Martin Wirth, Andreas Fix, Stephan Rahm	Airborne lidar observations of water vapor transport.	IGARSS	2012	DBLP DOI BibTeX RDF
27	Julia Fix	Emotionale Agenten: Darstellung der emotionstheoretischen Grundlagen und Entwicklung eines Referenzmodells auf Basis einer petrinetz-basierten Modellierungstechnik.		2012	RDF
27	Jérémy Fix, Nicolas P. Rougier, Frédéric Alexandre	A Dynamic Neural Field Approach to the Covert and Overt Deployment of Spatial Attention.	Cogn. Comput.	2011	DBLP DOI BibTeX RDF
27	Alexander Fix, Aritanan Gruber, Endre Boros, Ramin Zabih	A graph cut algorithm for higher-order Markov Random Fields.	ICCV	2011	DBLP DOI BibTeX RDF
27	Gary Fix	The Design of an Automated Test Code Generation System for SQL Stored Procedures.	ITNG	2011	DBLP DOI BibTeX RDF
27	Jérémy Fix, Matthieu Geist, Olivier Pietquin, Hervé Frezza-Buet	Dynamic neural field optimization using the unscented Kalman filter.	CCMB	2011	DBLP DOI BibTeX RDF
27	Cynthia K. Thompson, Borna Bonakdarpour, Stephen F. Fix	Neural Mechanisms of Verb Argument Structure Processing in Agrammatic Aphasic and Healthy Age-matched Listeners.	J. Cogn. Neurosci.	2010	DBLP DOI BibTeX RDF
27	R. Seth Terashima, James D. Fix	Greedy Routing on Augmented Ring Graphs	CoRR	2010	DBLP BibTeX RDF
27	Jens Gustedt, Stéphane Vialle, Hervé Frezza-Buet, D'havh Boumba Sitou, Nicolas Fressengeas, Jérémy Fix	InterCell: A Software Suite for Rapid Prototyping and Parallel Execution of Fine Grained Applications.	PARA (1)	2010	DBLP DOI BibTeX RDF
27	Gary Fix	An Expert System for Test Failure Root Cause Discovery.	ITNG	2010	DBLP DOI BibTeX RDF	test failure analysis, software testing, software quality, Expert systems, root cause analysis
27	Julien Vitay, Jérémy Fix, Fred H. Hamker, Henning Schroll, Frederik Beuth	Biological Models of Reinforcement Learning.	Künstliche Intell.	2009	DBLP BibTeX RDF
27	Gary Fix	The Design of an Automated Unit Test Code Generation System.	ITNG	2009	DBLP DOI BibTeX RDF	software testing, object oriented programming, software quality, programming environments, Automatic testing
27	Robert Blache, Jürgen Krumm, Walter Fix	Organic CMOS circuits for RFID applications.	ISSCC	2009	DBLP DOI BibTeX RDF
27	Julia Fix, Daniel Moldt	A Reference Architecture for Modelling of Emotional Agent Systems.	MATES	2009	DBLP DOI BibTeX RDF
27	Jérémy Fix, Nicolas P. Rougier, Frédéric Alexandre	A computational approach to the covert and overt deployment of spatial attention	CoRR	2008	DBLP BibTeX RDF
27	Limor Fix	Fifteen Years of Formal Property Verification in Intel.	25 Years of Model Checking	2008	DBLP DOI BibTeX RDF	formal property verification, Model checking, formal specification
27	Limor Fix (eds.)	Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008	DAC	2008	DBLP BibTeX RDF
27	Jérémy Fix	Mécanismes numériques et distribués de l'anticipation motrice. (Numerical and distributed mechanisms of motor anticipation).		2008	RDF
27	Luciano da Fontoura Costa, Daniela Maria Oliveira Bonci, Cézar Akiyoshi Saito, Fernando Allan De Farias Rocha, Luiz Carlos De Lima Silveira, Dora Fix Ventura	Voronoi analysis uncovers relationship between mosaics of normally placed and displaced amacrine cells in the thraira retina.	Neuroinformatics	2007	DBLP DOI BibTeX RDF
27	Cynthia K. Thompson, Borna Bonakdarpour, Stephen C. Fix, Henrike K. Blumenfeld, Todd B. Parrish, Darren R. Gitelman, M.-Marsel Mesulam	Neural Correlates of Verb Argument Structure Processing.	J. Cogn. Neurosci.	2007	DBLP DOI BibTeX RDF
27	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster	Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.	Int. J. Found. Comput. Sci.	2007	DBLP DOI BibTeX RDF
27	Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar	Deeper Bound in BMC by Combining Constant Propagation and Abstraction.	ASP-DAC	2007	DBLP DOI BibTeX RDF
27	Adam Goode, Mei Chen, Anil Tarachandani, Lily B. Mummert, Rahul Sukthankar, Casey Helfrich, Alice Stefanni, Limor Fix, Jeffrey Saltzman 0002, Mahadev Satyanarayanan	Interactive Search of Adipocytes in Large Collections of Digital Cellular Images.	ICME	2007	DBLP DOI BibTeX RDF
27	Shimin Chen, Phillip B. Gibbons, Michael Kozuch, Vasileios Liaskovitis, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Todd C. Mowry, Chris Wilkerson	Scheduling threads for constructive cache sharing on CMPs.	SPAA	2007	DBLP DOI BibTeX RDF	constructive cache sharing, parallel depth first, thread granularity, working set profiling, chip multiprocessors, scheduling algorithms, work stealing
27	Christian von Scheve, Daniel Moldt, Julia Fix, Rolf von Lüde	My agents love to conform: Norms and emotion in the micro-macro link.	Comput. Math. Organ. Theory	2006	DBLP DOI BibTeX RDF
27	Jian Du, Brian Fix, James Glimm, Xicheng Jia, Xiaolin Li 0002, Yuanhua Li, Lingling Wu	A simple package for front tracking.	J. Comput. Phys.	2006	DBLP DOI BibTeX RDF
27	Prasenjit Basu, Sayantan Das 0001, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001, Chunduri Rama Mohan, Limor Fix, Roy Armoni	Design-Intent Coverage - A New Paradigm for Formal Property Verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
27	Jérémy Fix, Julien Vitay, Nicolas P. Rougier	A Computational Model of Spatial Memory Anticipation during Visual Search	CoRR	2006	DBLP BibTeX RDF
27	Markus Böhm, Andreas Ullmann, Dietmar Zipperer, Alexander Knobloch, Wolfram H. Glauert, Walter Fix	Printable electronics for polymer RFID applications.	ISSCC	2006	DBLP DOI BibTeX RDF
27	Jérémy Fix, Julien Vitay, Nicolas P. Rougier	A Distributed Computational Model of Spatial Memory Anticipation During a Visual Search Task.	SAB ABiALS	2006	DBLP DOI BibTeX RDF
27	Vasileios Liaskovitis, Shimin Chen, Phillip B. Gibbons, Anastassia Ailamaki, Guy E. Blelloch, Babak Falsafi, Limor Fix, Nikos Hardavellas, Michael Kozuch, Todd C. Mowry, Chris Wilkerson	Parallel depth first vs. work stealing schedulers on CMP architectures.	SPAA	2006	DBLP DOI BibTeX RDF	scheduling, caches, chip multiprocessors
27	Shimin Chen, Babak Falsafi, Phillip B. Gibbons, Michael Kozuch, Todd C. Mowry, Radu Teodorescu, Anastassia Ailamaki, Limor Fix, Gregory R. Ganger, Bin Lin 0002, Steven W. Schlosser	Log-based architectures for general-purpose monitoring of deployed code.	ASID	2006	DBLP DOI BibTeX RDF	general-purpose task monitoring, log-based architectures, chip multiprocessors
27	Julia Fix, Christian von Scheve, Daniel Moldt	Emotion-based norm enforcement and maintenance in multi-agent systems: foundations and petri net modeling.	AAMAS	2006	DBLP DOI BibTeX RDF	socionics, MAS, emotions, social norms, petri net modeling
27	Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck	Formal Verification of Backward Compatibility of Microcode.	CAV	2005	DBLP DOI BibTeX RDF
27	Christian von Scheve, Daniel Moldt, Julia Fix, Rolf von Lüde	My Agents Love to Conform: Emotions, Norms, and Social Control in Natural and Artificial Societies.	NORMAS	2005	DBLP BibTeX RDF
27	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster	Verifying Very Large Industrial Circuits Using 100 Processes and Beyond.	ATVA	2005	DBLP DOI BibTeX RDF
27	Sayantan Das 0001, Ansuman Banerjee, Prasenjit Basu, Pallab Dasgupta, P. P. Chakrabarti 0001, Chunduri Rama Mohan, Limor Fix	Formal Methods for Analyzing the Completeness of an Assertion Suite against a High-Level Fault Model.	VLSI Design	2005	DBLP DOI BibTeX RDF
27	Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi	SAT-based Induction for Temporal Safety Properties.	BMC@CAV	2004	DBLP DOI BibTeX RDF
27	Prasenjit Basu, Sayantan Das 0001, Pallab Dasgupta, P. P. Chakrabarti 0001, Chunduri Rama Mohan, Limor Fix	Formal Verification Coverage: Are the RTL-Properties Covering the Design's Architectural Intent?	DATE	2004	DBLP DOI BibTeX RDF
27	Limor Fix	Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis".	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
27	Sayantan Das 0001, Prasenjit Basu, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti 0001, Chunduri Rama Mohan, Limor Fix, Roy Armoni	Formal verification coverage: computing the coverage gap between temporal specifications.	ICCAD	2004	DBLP DOI BibTeX RDF
27	Sharad Malik, Limor Fix, Andrew B. Kahng (eds.)	Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004	DAC	2004	DBLP BibTeX RDF
27	Luciano Lavagno, Limor Fix	DAC Highlights.	IEEE Des. Test Comput.	2003	DBLP BibTeX RDF
27	Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi	Enhanced Vacuity Detection in Linear Temporal Logic.	CAV	2003	DBLP DOI BibTeX RDF
27	James D. Fix	The set-associative cache performance of search trees.	SODA	2003	DBLP BibTeX RDF
27	Fred J. Molz III, George J. Fix III, Silong Lu	A physical interpretation for the fractional derivative in Levy diffusion.	Appl. Math. Lett.	2002	DBLP DOI BibTeX RDF
27	Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	The ForSpec Temporal Logic: A New Temporal Property-Specification Language.	TACAS	2002	DBLP DOI BibTeX RDF
27	Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix	A hybrid verification approach: getting deep into the design.	DAC	2002	DBLP DOI BibTeX RDF	hybrid verification, symbolic model checking, symbolic trajectory evaluation
27	David L. Dill, Nate James, Shishpal Rawat, Gérard Berry, Limor Fix, Harry Foster, Rajeev K. Ranjan 0001, Gunnar Stålmarck, Curt Widdoes	Formal verification methods: getting around the brick wall.	DAC	2002	DBLP DOI BibTeX RDF
27	Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi	Benefits of Bounded Model Checking at an Industrial Setting.	CAV	2001	DBLP DOI BibTeX RDF
27	J. Mark Pullen, Eugene Norris, Mark Fix	Teaching C++ in a multi-user virtual environment.	ACM SIGCSE Bull.	2000	DBLP DOI BibTeX RDF
27	Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix	Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.	CAV	2000	DBLP DOI BibTeX RDF
27	Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi	Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.	SMC@FLoC	1999	DBLP DOI BibTeX RDF
27	James D. Fix, Richard E. Ladner	Multiresolution banded refinement to accelerate surface reconstruction from polygons.	Comput. Geom.	1999	DBLP DOI BibTeX RDF
27	Rajeev Alur, Limor Fix, Thomas A. Henzinger	Event-Clock Automata: A Determinizable Class of Timed Automata.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
27	Richard E. Ladner, James D. Fix, Anthony LaMarca	Cache Performance Analysis of Traversals and Random Accesses.	SODA	1999	DBLP BibTeX RDF
27	James D. Fix, Richard E. Ladner	Sorting by Parallel Insertion on a One-Dimensional Subbus Array.	IEEE Trans. Computers	1998	DBLP DOI BibTeX RDF
27	James D. Fix, Richard E. Ladner	Multiresolution Banded Refinement to Accelerate Surface Reconstruction from Polygons.	SCG	1998	DBLP DOI BibTeX RDF
27	Mark Stehlik, Sarah Fix, Susan H. Rodger, Chris Nevison, Mark Allen Weiss	Advanced placement transition to C++ (panel).	SIGCSE	1998	DBLP DOI BibTeX RDF	C++
27	Gila Kamhi, Limor Fix	Adaptive variable reordering for symbolic model checking.	ICCAD	1998	DBLP DOI BibTeX RDF	variable reordering, binary decision diagram, symbolic model checking
27	Gila Kamhi, Limor Fix, Ziv Binyamini	Symbolic Model Checking Visualization.	FMCAD	1998	DBLP DOI BibTeX RDF
27	Sela Mador-Haim, Limor Fix	Input Elimination and Abstraction in Model Checking.	FMCAD	1998	DBLP DOI BibTeX RDF
27	Gila Kamhi, Osnat Weissberg, Limor Fix	Automatic Datapath Extraction for Efficient Usage of HDD.	CAV	1997	DBLP DOI BibTeX RDF
27	Wen-Syan Li, Yoshinori Hara, Nancy Fix, K. Selçuk Candan, Kyoji Hirata, Sougata Mukherjea	Brokerage Architecture for Stock Photo Industry.	RIDE	1997	DBLP DOI BibTeX RDF
27	Vikki Fix, Susan Wiedenbeck	An intelligent tool to aid students in learning second and subsequent programming languages.	Comput. Educ.	1996	DBLP DOI BibTeX RDF
27	Limor Fix, Orna Grumberg	Verification of Temporal Properties.	J. Log. Comput.	1996	DBLP DOI BibTeX RDF
27	George J. Fix, Chih-Ping Hsu, Tie Luo	Implicitization of Rational Parametric Surfaces.	J. Symb. Comput.	1996	DBLP DOI BibTeX RDF
27	Vikki Fix, Susan Wiedenbeck	Using Cognition of Programming Literature in a Design of a Tool for Learning a Second Programming Language.	Intelligent Tutoring Systems	1996	DBLP DOI BibTeX RDF
27	James D. Fix, Richard E. Ladner	Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array.	SODA	1995	DBLP DOI BibTeX RDF
27	Marian Petre, Blaine A. Price, Vikki Fix, Jean Scholtz, Susan Wiedenbeck, Igor Netesin, Sergey Yershov	Comparing program comprehension in different cultures and different representations.	PPIG	1995	DBLP BibTeX RDF
27	Christopher H. Nevison, Joe Kmoch, Robert E. Noonan, Tim Corica, Sarah Fix, David G. Kay	Changes in the advanced placement computer science course: case studies and C++ (panel).	SIGCSE	1995	DBLP DOI BibTeX RDF	C++
27	Limor Fix, Nissim Francez, Orna Grumberg	Program Composition via Unification.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
27	Rajeev Alur, Limor Fix, Thomas A. Henzinger	A Determinizable Class of Timed Automata.	CAV	1994	DBLP DOI BibTeX RDF
27	Limor Fix, Fred B. Schneider	Reasoning about Programs by Exploiting the Environment.	ICALP	1994	DBLP DOI BibTeX RDF
27	Gail Chapman, Sarah Fix, Owen L. Astrachan, Joseph W. Kmoch, Michael J. Clancy	Case studies in the advanced placement computer science curriculum (abstract).	SIGCSE	1994	DBLP DOI BibTeX RDF
27	Limor Fix, Fred B. Schneider	Hybrid Verification by Exploiting the Environment.	FTRTFT	1994	DBLP DOI BibTeX RDF
27	George J. Fix	Scientific Computations on Mathematical Problems and Conjectures (Richard S. Varga).	SIAM Rev.	1993	DBLP DOI BibTeX RDF
27	Susan Wiedenbeck, Vikki Fix, Jean Scholtz	Characteristics of the Mental Representations of Novice and Expert Programmers: An Empirical Study.	Int. J. Man Mach. Stud.	1993	DBLP DOI BibTeX RDF
27	Vikki Fix, Susan Wiedenbeck, Jean Scholtz	Mental representations of programs by novices and experts.	INTERCHI	1993	DBLP DOI BibTeX RDF	mental representation of programs, program comprehension
27	George J. Fix, Rangachary Kannan	A random direction algorithm for an intersection problem.	Computing	1992	DBLP DOI BibTeX RDF
27	Limor Fix, Nissim Francez, Orna Grumberg	Program Composition via Unification.	ICALP	1992	DBLP DOI BibTeX RDF
27	Vikki Fix, Susan Wiedenbeck	Designing a Tool for Learning Ada Using Empirical Studies.	PPIG (2)	1992	DBLP BibTeX RDF
27	Limor Fix, Nissim Francez, Orna Grumberg	Program Composition and Modular Verification.	ICALP	1991	DBLP DOI BibTeX RDF
27	T. F. Chen, George J. Fix, Rangachary Kannan	Numerical solution of the rotating beam equations I. Flapping equations.	IMPACT Comput. Sci. Eng.	1990	DBLP DOI BibTeX RDF
27	Limor Fix, Nissim Francez, Orna Grumberg	Sematics-Driven Decompositions for the Verification of Distributed Programs.	Programming Concepts and Methods	1990	DBLP BibTeX RDF
27	E. Fix, H. G. Armstrong	Modeling human performance with neural networks.	IJCNN	1990	DBLP DOI BibTeX RDF
27	Lester H. Cohen, Hans Fix, Irwin Scollar, Samuel Schoenbaum, Dietmar Najock, William C. Carter, Nancy Joe Dyer, Richard L. Frautschi	Book reviews.	Comput. Humanit.	1982	DBLP DOI BibTeX RDF
27	David Ratkowsky, Hans Fix, Harold L. Somers, Stig Johansson, Wilhelm Ott, Paul Bratley, Maribeth Henney, Michael E. Leesley	Book reviews.	Comput. Humanit.	1982	DBLP DOI BibTeX RDF
27	Wolfgang Fix, Klaus Neumann 0001	Project scheduling by special GERT networks.	Computing	1979	DBLP DOI BibTeX RDF
23	Tiankun Zheng, Xinjun Wang, Yingchun Zhou	Indexing Temporal XML Using FIX.	WISM	2009	DBLP DOI BibTeX RDF	temporal XML, TFIX index, feature-based
23	Joseph Lawrance, Rachel K. E. Bellamy, Margaret Bumett, Kyle Rector	Can information foraging pick the fix? A field study.	VL/HCC	2008	DBLP DOI BibTeX RDF
23	Pier Luigi Dragotti, Martin Vetterli, Thierry Blu	Sampling Moments and Reconstructing Signals of Finite Rate of Innovation: Shannon Meets Strang-Fix.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF