|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1166 occurrences of 930 keywords
|
|
|
Results
Found 1797 publication records. Showing 1766 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2013, pp. 150704:1-150704:6, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. ![In: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 6(3), pp. 1189-1193, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Alexander Fix, Thorsten Joachims, Sam Park, Ramin Zabih |
Structured learning of sum-of-submodular higher order energy functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.7512, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Jérémy Fix |
Template based black-box optimization of dynamic neural fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 46, pp. 40-49, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE International Conference on Computer Vision, ICCV 2013, Sydney, Australia, December 1-8, 2013, pp. 3104-3111, 2013, IEEE Computer Society, 978-1-4799-2839-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2013, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 16-20, 2013, 2013, AMIA. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
27 | Jérémy Fix, Matthieu Geist |
Monte-Carlo Swarm Policy Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAISC (SIDE-EC) ![In: Swarm and Evolutionary Computation - International Symposia, SIDE 2012 and EC 2012, Held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29-May 3, 2012. Proceedings, pp. 75-83, 2012, Springer, 978-3-642-29352-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Alexander Fix, Joyce Chen, Endre Boros, Ramin Zabih |
Approximate MRF Inference Using Bounded Treewidth Subgraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECCV (1) ![In: Computer Vision - ECCV 2012 - 12th European Conference on Computer Vision, Florence, Italy, October 7-13, 2012, Proceedings, Part I, pp. 385-398, 2012, Springer, 978-3-642-33717-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Christoph Kiemle, Andreas Schäfler, Martin Wirth, Andreas Fix, Stephan Rahm |
Airborne lidar observations of water vapor transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: 2012 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2012, Munich, Germany, July 22-27, 2012, pp. 1976-1979, 2012, IEEE, 978-1-4673-1160-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Julia Fix |
Emotionale Agenten: Darstellung der emotionstheoretischen Grundlagen und Entwicklung eines Referenzmodells auf Basis einer petrinetz-basierten Modellierungstechnik. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Comput. ![In: Cogn. Comput. 3(1), pp. 279-293, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Alexander Fix, Aritanan Gruber, Endre Boros, Ramin Zabih |
A graph cut algorithm for higher-order Markov Random Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE International Conference on Computer Vision, ICCV 2011, Barcelona, Spain, November 6-13, 2011, pp. 1020-1027, 2011, IEEE Computer Society, 978-1-4577-1101-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Gary Fix |
The Design of an Automated Test Code Generation System for SQL Stored Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Eighth International Conference on Information Technology: New Generations, ITNG 2011, Las Vegas, Nevada, USA, 11-13 April 2011, pp. 286-290, 2011, IEEE Computer Society, 978-0-7695-4367-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCMB ![In: 2011 IEEE Symposium on Computational Intelligence, Cognitive Algorithms, Mind, and Brain, CCMB 2011, Paris, France, April 15, 2011, pp. 74-80, 2011, IEEE, 978-1-4244-9889-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 22(9), pp. 1993-2011, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | R. Seth Terashima, James D. Fix |
Greedy Routing on Augmented Ring Graphs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1006.4900, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA (1) ![In: Applied Parallel and Scientific Computing - 10th International Conference, PARA 2010, Reykjavík, Iceland, June 6-9, 2010, Revised Selected Papers, Part I, pp. 282-292, 2010, Springer, 978-3-642-28150-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
27 | Gary Fix |
An Expert System for Test Failure Root Cause Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Seventh International Conference on Information Technology: New Generations, ITNG 2010, Las Vegas, Nevada, USA, 12-14 April 2010, pp. 1014-1019, 2010, IEEE Computer Society, 978-0-7695-3984-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Künstliche Intell. ![In: Künstliche Intell. 23(3), pp. 12-18, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
27 | Gary Fix |
The Design of an Automated Unit Test Code Generation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, Las Vegas, Nevada, USA, 27-29 April 2009, pp. 743-747, 2009, IEEE Computer Society, 978-0-7695-3596-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: IEEE International Solid-State Circuits Conference, ISSCC 2009, Digest of Technical Papers, San Francisco, CA, USA, 8-12 February, 2009, pp. 208-209, 2009, IEEE, 978-1-4244-3458-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Julia Fix, Daniel Moldt |
A Reference Architecture for Modelling of Emotional Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings, pp. 189-194, 2009, Springer, 978-3-642-04142-6. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0809.4622, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Limor Fix |
Fifteen Years of Formal Property Verification in Intel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
25 Years of Model Checking ![In: 25 Years of Model Checking - History, Achievements, Perspectives, pp. 139-144, 2008, Springer, 978-3-540-69849-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![ACM, 978-1-60558-115-6 The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neuroinformatics ![In: Neuroinformatics 5(1), pp. 59-77, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 19(11), pp. 1753-1767, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 18(1), pp. 45-62, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 304-309, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, ICME 2007, July 2-5, 2007, Beijing, China, pp. 695-698, 2007, IEEE Computer Society, 1-4244-1017-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007, pp. 105-115, 2007, ACM, 978-1-59593-667-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Organ. Theory ![In: Comput. Math. Organ. Theory 12(2-3), pp. 81-100, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 213(2), pp. 613-628, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(10), pp. 1922-1934, 2006. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0610041, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: 2006 IEEE International Solid State Circuits Conference, ISSCC 2006, Digest of Technical Papers, an Francisco, CA, USA, February 6-9, 2006, pp. 1034-1041, 2006, IEEE, 1-4244-0079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAB ABiALS ![In: Anticipatory Behavior in Adaptive Learning Systems, From Brains to Individual and Social Behavior [the book is a result from the third workshop on anticipatory behavior in adaptive learning systems, ABiALS 2006, Rome, Italy, September 30, 2006, colocated with SAB 2006], pp. 170-188, 2006, Springer, 978-3-540-74261-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 330, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASID ![In: Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, ASID 2006, San Jose, California, USA, October 21, 2006, pp. 63-65, 2006, ACM, 1-59593-576-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 105-107, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 185-198, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NORMAS ![In: Symposium on Normative Multi-Agent Systems, NORMAS 2005, part of the SSAISB 2005 Convention, University of Hertfordshire, Hatfield, UK, 12-15 April 2005. Proceedings, pp. 73-84, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 11-25, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 18th International Conference on VLSI Design (VLSI Design 2005), with the 4th International Conference on Embedded Systems Design, 3-7 January 2005, Kolkata, India, pp. 201-206, 2005, IEEE Computer Society, 0-7695-2264-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC@CAV ![In: Proceedings of the 2nd International Workshop on Bounded Model Checking, BMC@CAV 2004, Boston, MA, USA, July 18, 2004, pp. 3-16, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 668-669, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Limor Fix |
Abstract for the ISOLA Special Session on "Industrial use of tools for Formal Analysis". ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (Preliminary proceedings) ![In: International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary proceedings, pp. 189-189, 2004, Department of Computer Science, University of Cyprus. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 198-203, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![ACM, 1-58113-828-8 The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
27 | Luciano Lavagno, Limor Fix |
DAC Highlights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 20(3), pp. 88-89, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, pp. 368-380, 2003, Springer, 3-540-40524-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
27 | James D. Fix |
The set-associative cache performance of search trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms, January 12-14, 2003, Baltimore, Maryland, USA., pp. 565-572, 2003, ACM/SIAM, 0-89871-538-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 15(7), pp. 907-911, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 296-211, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix |
A hybrid verification approach: getting deep into the design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 111-116, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 576-577, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001, Proceedings, pp. 436-453, 2001, Springer, 3-540-42345-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | J. Mark Pullen, Eugene Norris, Mark Fix |
Teaching C++ in a multi-user virtual environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 32(2), pp. 60-64, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings, pp. 389-402, 2000, Springer, 3-540-67770-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi |
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC@FLoC ![In: First International Workshop on Symbolic Model Checking, SMC 1999, associated to FLoC'99, the 1999 Federated Logic Conference, Trento, Italy, July 6, 1999, pp. 11-22, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | James D. Fix, Richard E. Ladner |
Multiresolution banded refinement to accelerate surface reconstruction from polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 13(1), pp. 49-64, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Rajeev Alur, Limor Fix, Thomas A. Henzinger |
Event-Clock Automata: A Determinizable Class of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 211(1-2), pp. 253-273, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Richard E. Ladner, James D. Fix, Anthony LaMarca |
Cache Performance Analysis of Traversals and Random Accesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, 17-19 January 1999, Baltimore, Maryland, USA., pp. 613-622, 1999, ACM/SIAM, 0-89871-434-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
27 | James D. Fix, Richard E. Ladner |
Sorting by Parallel Insertion on a One-Dimensional Subbus Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 47(11), pp. 1267-1281, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | James D. Fix, Richard E. Ladner |
Multiresolution Banded Refinement to Accelerate Surface Reconstruction from Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Fourteenth Annual Symposium on Computational Geometry, Minneapolis, Minnesota, USA, June 7-10, 1998, pp. 240-248, 1998, ACM, 0-89791-973-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Mark Stehlik, Sarah Fix, Susan H. Rodger, Chris Nevison, Mark Allen Weiss |
Advanced placement transition to C++ (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 29th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1998, Atlanta, Georgia, USA, February 26 - March 1, 1998, pp. 372, 1998, ACM, 0-89791-994-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C++ |
27 | Gila Kamhi, Limor Fix |
Adaptive variable reordering for symbolic model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1998, San Jose, CA, USA, November 8-12, 1998, pp. 359-365, 1998, ACM / IEEE Computer Society, 1-58113-008-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
variable reordering, binary decision diagram, symbolic model checking |
27 | Gila Kamhi, Limor Fix, Ziv Binyamini |
Symbolic Model Checking Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings, pp. 290-303, 1998, Springer, 3-540-65191-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Sela Mador-Haim, Limor Fix |
Input Elimination and Abstraction in Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings, pp. 304-320, 1998, Springer, 3-540-65191-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Gila Kamhi, Osnat Weissberg, Limor Fix |
Automatic Datapath Extraction for Efficient Usage of HDD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 9th International Conference, CAV '97, Haifa, Israel, June 22-25, 1997, Proceedings, pp. 95-106, 1997, Springer, 3-540-63166-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RIDE ![In: 7th International Workshop on Research Issues in Data Engineering (RIDE '97) High Performance Database Management for Large-Scale Applications, Birmingham, UK, April 7-8, 1997, pp. 91-100, 1997, IEEE Computer Society, 0-8186-7849-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Vikki Fix, Susan Wiedenbeck |
An intelligent tool to aid students in learning second and subsequent programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Educ. ![In: Comput. Educ. 27(2), pp. 71-83, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Limor Fix, Orna Grumberg |
Verification of Temporal Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 6(3), pp. 343-361, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | George J. Fix, Chih-Ping Hsu, Tie Luo |
Implicitization of Rational Parametric Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 21(3), pp. 329-336, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, Third International Conference, ITS '96, Montréal, Canada, June 12-14, 1996, Proceedings, pp. 297-305, 1996, Springer, 3-540-61327-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
27 | James D. Fix, Richard E. Ladner |
Optimal One-Way Sorting on a One-Dimensional Sub-Bus Array. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, 22-24 January 1995. San Francisco, California, USA., pp. 586-594, 1995, ACM/SIAM, 0-89871-349-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPIG ![In: Proceedings of the 7th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1995, Edinburgh, Scotland, UK, January 4-6, 1995, pp. 22, 1995, Psychology of Programming Interest Group. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1995, Nashville, Tennessee, USA, March 2-4, 1995, pp. 374-375, 1995, ACM, 0-89791-693-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
C++ |
27 | Limor Fix, Nissim Francez, Orna Grumberg |
Program Composition via Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 131(1), pp. 139-179, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Rajeev Alur, Limor Fix, Thomas A. Henzinger |
A Determinizable Class of Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 6th International Conference, CAV '94, Stanford, California, USA, June 21-23, 1994, Proceedings, pp. 1-13, 1994, Springer, 3-540-58179-0. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Limor Fix, Fred B. Schneider |
Reasoning about Programs by Exploiting the Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 21st International Colloquium, ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings, pp. 328-339, 1994, Springer, 3-540-58201-0. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1994, Phoenix, Arizona, USA, March 10-12, 1994, pp. 371, 1994, ACM, 0-89791-646-8. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Limor Fix, Fred B. Schneider |
Hybrid Verification by Exploiting the Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, Lübeck, Germany, September 19-23, Proceedings, pp. 1-18, 1994, Springer, 3-540-58468-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | George J. Fix |
Scientific Computations on Mathematical Problems and Conjectures (Richard S. Varga). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM Rev. ![In: SIAM Rev. 35(2), pp. 318-320, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Man Mach. Stud. ![In: Int. J. Man Mach. Stud. 39(5), pp. 793-812, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Vikki Fix, Susan Wiedenbeck, Jean Scholtz |
Mental representations of programs by novices and experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERCHI ![In: Human-Computer Interaction, INTERACT '93, IFIP TC13 International Conference on Human-Computer Interaction, 24-29 April 1993, Amsterdam, The Netherlands, jointly organised with ACM Conference on Human Aspects in Computing Systems CHI'93, pp. 74-79, 1993, ACM, 0-89791-575-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 48(3-4), pp. 381-385, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Limor Fix, Nissim Francez, Orna Grumberg |
Program Composition via Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 672-684, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
27 | Vikki Fix, Susan Wiedenbeck |
Designing a Tool for Learning Ada Using Empirical Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPIG (2) ![In: Proceedings of the 5th Annual Workshop of the Psychology of Programming Interest Group, PPIG 1992, Paris, France, December 9-12, 1992, pp. 9, 1992, Psychology of Programming Interest Group. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
27 | Limor Fix, Nissim Francez, Orna Grumberg |
Program Composition and Modular Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 18th International Colloquium, ICALP91, Madrid, Spain, July 8-12, 1991, Proceedings, pp. 93-114, 1991, Springer, 3-540-54233-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
27 | T. F. Chen, George J. Fix, Rangachary Kannan |
Numerical solution of the rotating beam equations I. Flapping equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMPACT Comput. Sci. Eng. ![In: IMPACT Comput. Sci. Eng. 2(2), pp. 157-185, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Limor Fix, Nissim Francez, Orna Grumberg |
Sematics-Driven Decompositions for the Verification of Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Concepts and Methods ![In: Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990, pp. 101-124, 1990, North-Holland, 0-444-88545-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
27 | E. Fix, H. G. Armstrong |
Modeling human performance with neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: IJCNN 1990, International Joint Conference on Neural Networks, San Diego, CA, USA, June 17-21, 1990, pp. 247-252, 1990, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Humanit. ![In: Comput. Humanit. 16(4), pp. 245-259, 1982. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Humanit. ![In: Comput. Humanit. 16(3), pp. 165-186, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
27 | Wolfgang Fix, Klaus Neumann 0001 |
Project scheduling by special GERT networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 23(3), pp. 299-308, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
23 | Tiankun Zheng, Xinjun Wang, Yingchun Zhou |
Indexing Temporal XML Using FIX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISM ![In: Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings, pp. 224-231, 2009, Springer, 978-3-642-05249-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2008, Herrsching am Ammersee, Germany, 15-19 September 2008, Proceedings, pp. 57-64, 2008, IEEE Computer Society, 978-1-4244-2528-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 55(5-1), pp. 1741-1757, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 1766 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|