Searchpixie.com: Unknown Tag: 'title

SearchPixie - High Traffic Pay per Click Search Engine

Home: Computers: Computer Science: People: B
Featured Listing: LINKS:
Bacon, Jean University of Cambridge - Distributed systems. http://www.cl.cam.ac.uk/~jmb25/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Balakrishnan, M. Indian Institute of Technology, Delhi - CAD for VLSI, Computer Architecture http://www.cse.iitd.ernet.in/~mbala/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Ball, Thomas Microsoft Research - Domain-specific languages, automatic analysis of programs, software visualization. http://www.research.microsoft.com/~tball/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Banerjee, Subhashis Indian Institute of Technology, Delhi - Computer Vision, Real-time Systems, Robotics http://www.cse.iitd.ernet.in/~suban (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Banks, David Florida State University - 3D computer graphics and scientific visualization. http://lmi.bwh.harvard.edu/~banks/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Baquero, Carlos Minho University - Distributed systems and mobile computing, Concurrent object-oriented programming. http://gsd.di.uminho.pt/cbm/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Barr, Rimon Cornell University - Distributed systems and database research http://rimonbarr.com/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bartolini, Claudio HP Labs Palo Alto - Architecture and design of software systems and frameworks; Business activity management. http://www.hpl.hp.com/personal/Claudio_Bartolini/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Becker, Simon M. University of Technology Aachen - Software Engineering, Incremental Integration. http://www-i3.informatik.rwth-aachen.de/private/sbecker/index.html (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bednarik, Roman University of Joensuu, Finland - HCI, Eye movement research, Usability, CS education. http://cs.joensuu.fi/~rbednari (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bennett, Charles H. IBM Research - Quantum information and computation theory. http://researchweb.watson.ibm.com/people/b/bennetc/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bergamaschi, Sonia Universities of Modena and of Bologna - Inferential techniques for databases, object oriented methods in knowledge representation and databases. http://www.dbgroup.unimo.it/Bergamaschi.html (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bernstein, D. J. University of Illinois, Chicago - Computer hardware, Data structures, Fast arithmetic, Number theory, Networking http://cr.yp.to/djb.html (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bernstein, Herbert J. Dowling College - Bioinformatics, data representation, molecular graphics, laboratory automation, numerical linear algebra, networking and data communications, software engineering. http://arcib.dowling.edu/~BernsteH/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bertozzi, Massimo University of Parma - Computer vision, learning in vision, artificial intelligence. http://www.ce.unipr.it/people/bertozzi/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bhattacharyya, Pushpak Indian Institute of Technology, Bombay - Neural Network Theory and Applications, Formal and Empirical Machine Learning, Natural Language Understanding, Distributed Artificial Intelligence. http://www.cse.iitb.ac.in/~pb/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bhujade, Moreshwar Indian Institute of Technology, Bombay - Computer Architecture and Operating systems, Fault tolerent Distributed Algorithms, Neural networks, Speech/Image Processing, Speech technology for Indian languages http://www.cse.iitb.ac.in/~mrb/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Blackwell, Alan University of Cambridge - Human-computer interaction, visual interaction. http://www.cl.cam.ac.uk/~afb21/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Blair, Michael R. MIT - Dynamically adaptive profile-guided specialization, partial evaluation, program analysis, compilation, type theory, subtyping. http://groups.csail.mit.edu/mac/users/ziggy/ziggy.html (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Blelloch, Guy Carnegie Mellon - Thread scheduling, parallel algorithms, NESL, provably efficient language implementations, multiprocessor garbage collection. http://www.cs.cmu.edu/~guyb/home.html (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Blum, Manuel University of California, Berkeley - Theoretical computer science, graph theory, cryptography http://www.cs.berkeley.edu/~blum/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Boisvert, Ronald F. NIST - Numerical solution of partial differential equations, mathematical software, and information services that support computational science. http://math.nist.gov/~RBoisvert/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Borning, Alan University of Washington - Human-computer interaction, constraint-based languages and systems, and land use, transportation, and environmental modeling. http://www.cs.washington.edu/homes/borning/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bowen, Jonathan London South Bank University - Formal methods, history of computing, online museums. http://www.jpbowen.com/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bradfield, Julian University of Edinburgh - Verification using temporal logics, computer-aided verification of potentially infinite systems, logics for true concurrency. http://homepages.inf.ed.ac.uk/jcb/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Brajnik, Giorgio University of Udine - Human-computer interfaces for information access, knowledge representation and reasoning about dynamical systems. http://users.dimi.uniud.it/~giorgio.brajnik/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Brandt, Felix Stanford University, California. Multiagent systems, preference aggregation, auctions, voting, cryptographic protocols, mechanism design, artificial intelligence, and game theory. http://www.tcs.ifi.lmu.de/~brandtf/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Brankovic, Ljiljana University of Newcastle - Security of statistical databases. http://www.cs.newcastle.edu.au/~lbrankov/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Breugel, Franck van York University, Ontario - Concurrent programming languages, semantics, specification languages. http://www.cse.yorku.ca/~franck/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Briot, Jean-Pierre Laboratoire d'Informatique de Paris - Object-oriented programming, concurrency/parallelism, distributed programming, flexible and adaptive programs, meta-programming and reflection, artificial intelligence, multi-agent systems, software agents, mobile agents, artificial life, computer music. http://www-poleia.lip6.fr/~briot/index2.html (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Briscoe, Ted University of Cambridge - Speech and language processing, computational linguistics. http://www.cl.cam.ac.uk/~ejb1/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bruce, Kim B. Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism. http://www.cs.williams.edu/~kim/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bryant, Barrett R. University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology. http://www.cis.uab.edu/bryant/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bultan, Tevfik University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking. http://www.cs.ucsb.edu/~bultan/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Bundy, Alan University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving. http://homepages.inf.ed.ac.uk/bundy/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It Hans J. Boehm HP Labs - Java, Garbage collection, language theory http://www.hpl.hp.com/personal/Hans_Boehm/ (Added: Mon Apr 04 2011 Hits: 0 Rating: 0.00 Votes: 0) Rate It Review It

• HOME • ADD A LINK •