Geometry.Net - Basic_M: Ml Programming


Home - Basic_M - Ml Programming

e99.com Bookstore

Images

Newsgroups

81-100 of 113 Back | 1 | 2 | 3 | 4 | 5 | 6 | Next 20

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Ml Programming: more books (67)

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
The dBASE III Plus: Programmer's Reference-A Sourcebook of Programming Techniques by Cary N. Prague, James Hammitt, 1987-01
Compiling with Continuations by Andrew W. Appel, 1991-11-29
Funktionale Programmierung: Sprachdesign und Programmiertechnik (eXamen.press) (German Edition) by Peter Pepper, Petra Hofstedt, 2006-05-03
Sound and complete elimination of singleton kinds ([Research paper] / Carnegie Mellon University. School of Computer Science) by Karl Crary, 2000
The performance of FoxNet 2.0 ([Research paper] / Carnegie Mellon University. School of Computer Science) by Herb Derby, 1999
Machine Learning: ECML-94: European Conference on Machine Learning, Catania, Italy, April 6-8, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Programming Languages Created in the 1980s: Ibm Basica, Ubasic, Atari St Basic, Vilnius Basic, Turbo-Basic Xl, Extended Ml, Ibm Cassette Basic
C++ Programmer's Guide to the Standard Template Library by Mark Nelson, 1995-12
Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
Platinum Edition Using XHTML, XML & Java 2 by Eric Ladd, Jim O'Donnell, et all 2000-11-20

lists with details

Table Of Contents
All Rights Reserved. programming in Standard ml. Table of Contents Modularity and Reuse. Dynamic Typing. Concurrent programming. Sample Programs
http://www.cs.cmu.edu/People/rwh/introsml/contents.htm
The Elf Meta-Language
Constraintlogic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ml.
http://www-2.cs.cmu.edu/~fp/elf.html

Extractions: The Winchendon Group, Inc. Elf is a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics. It has been applied to various examples, some of which are described in published papers accessible through a bibliography on LF and Elf . Others are described in the notes to a course on Computation and Deduction , which are not yet publicly available. There is also a more complete bibliography on logical frameworks in general. Work on LF and Elf at Carnegie Mellon University is supported by NSF grant CCR-9303383 (Principal Investigators Robert Harper and Frank Pfenning The implementation of Elf (click here to retrieve the sources as a compressed tar file) is an interpreter written in Standard ML and the execution is slow compared to Prolog. However, type-checking is quite efficient and there are number of optimizations which make it practical for small and medium-sized examples (click here to retrive the examples as a compressed tar file). The implementation also provides an Emacs interface for editing and interacting with an inferior Elf server process. There is no manual, but there are some helpful hints and implementation notes The principal contributors to this implementation of Elf are Thanks also to Conal Elliott and Ken Cline whose first Lisp prototype was influential on the design of this SML implementation.
UTCS Machine Learning Research Group
This research group focuses on applying both empirical and knowledgebased learning techniques to natural language processing, text mining, recommender systems, inductive logic programming, knowledge and theory refinement, planning, and intelligent tutoring.
http://www.cs.utexas.edu/users/ml/

Extractions: Machine learning is the study of adaptive computational systems that improve their performance with experience. The UT Machine Learning Research Group focuses on applying both empirical and knowledge-based learning techniques to natural language processing, text mining, recommender systems, inductive logic programming, knowledge and theory refinement, planning, and intelligent tutoring. For pictures of the group click here Sugato Basu sugato@cs.utexas.edu Misha Bilenko mbilenko@cs.utexas.edu ... ywwong@cs.utexas.edu
The FLINT Project: Home
Industrialstrength systems software for modern programming languages such as ml, Java and Safe C.
http://flint.cs.yale.edu/

Extractions: The FLINT project intends to build industrial-strength systems software for modern programming languages such as ML, Java, and Safe C. By using a strongly typed common intermediate language, we hope to achieve: Research An overview of our research agenda. People Who we are. Publications Published papers, technical reports, and talks online. Software Source code available for download. Support Research grants that support our work. Links Pointers to related projects and resources. Internal Restricted access. Information for members, ideas for student projects, etc. flint@cs.yale.edu
ML Kit Home Page
A compiler for the programming language Standard ml.
http://www.it-c.dk/research/mlkit/

Extractions: Download Documentation Papers Bugs ... About The ML Kit is a compiler for the programming language Standard ML. SML'97 The Kit covers all of Standard ML, as defined in the 1997 edition of the Definition of Standard ML . In particular, the Kit compiles Standard ML Modules, using a compilation scheme called static interpretation . The Kit implements most of the Standard ML Basis Library Region-Based Memory Management All memory allocation directives (both allocation and de-allocation) are inferred by the compiler, which uses a number of program analyses concerning lifetimes and storage layout. The ML Kit is unique among ML implementations in this respect. Garbage Collection The ML Kit supports reference-tracing garbage collection in combination with region memory management. Two Backends Two backends are provided, one that generates x86 native machine code for the Linux operating system and one that generates bytecode.
PLI 2002: ICFP
The 2002 International Conference on Functional programming covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ml, Haskell) to novel language designs and to the functional aspects of objectoriented or concurrent languages. October 4-6, 2002 Pittsburgh, PA, USA.
http://icfp2002.cs.brown.edu/

Extractions: Affiliated with PLI 2002 The ICFP conference provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of functional programming, from practice to theory, and from established functional programming languages (Scheme, ML, Haskell) to novel language designs and to the functional aspects of object-oriented or concurrent languages. Related Events PPDP GPCE (GCSE/SAIG) Workshops What are the Accepted Papers? Please see the separate page What about Hotel and Registration Information? You will find that on the PLI home page Was There a Programming Contest? Yes! The contest ran from 12:00 Noon Pacific Standard Time on Friday August 30, 2002, until 12:00 Noon Monday September 2, 2002. The contest has its own Web page What Kind of Material Appears in ICFP? The call for papers provides information on the kinds of papers sought by the conference.
ÖFAI - Austrian Research Institute For Artificial Intelligence
Information on their members, research areas, publications, teaching, and resources. Focus is on data mining and knowledge discovery in databases, inductive logic programming, knowledge intensive learning, concept drift and contextsensitive learning, minimum description length principle, machine learning and music.
http://www.ai.univie.ac.at/oefai/ml/
FreeML ML¥á¥Ã¥»¡¼¥¸ »¨ÃÌ¥×¥í¥°¥é¥ß¥ó¥°£Í£Ì
The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.
http://www.freeml.com/ml_mess.php?ml=programming
The OPAL Home Page
Researches programming environment where advanced language concepts and formal development methods are used to make productionquality software. Strongly typed, higher-order, strict, pure FL; so can be classed with ml, Haskell, and other modern FLs. But also has unique algebraic flavor in the tradition of languages such as CIP-L, and Obj.
http://uebb.cs.tu-berlin.de/~opal/

Extractions: The OPAL project is concerned with research into a programming environment in which advanced language concepts and formal development methods can be used for creating production-quality software. At the core of the project is the algebraic programming language, OPAL, which integrates both concepts of algebraic specification and functional programming. An ever-expanding set of tools supporting the language constitutes the OPAL compilation system OCS. E-Mail: opal@cs.tu-berlin.de Snail Mail:
FreeML ML¾ðÊó¥Ú¡¼¥¸ [»¨ÃÌ¥×¥í¥°¥é¥ß¥ó¥°£Í£Ì]
The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.
http://www.freeml.com/ml_info.php?ml=programming
Standard ML Of New Jersey
s, news, downloads (Unix, Windows), literature lists, FAQs, links, and contacts. Open Source, LucentA compiler and programming environment for Standard ml language, with associated libraries, tools, documents.
http://www.smlnj.org/

Extractions: of New Jersey Standard ML of New Jersey (abbreviated SML/NJ ) is a compiler for the Standard ML '97 programming language with associated libraries, tools, and documentation. SML/NJ is free, open source software. Working version 110.45 available. This is a maintenance release which mostly fixes problems compiling the runtime system code using GCC 3.3. Working version 110.44 available. This update fixes several important bugs, improves the new installer, provides support for Mac OS X 10.3 (Panther), and continues to bring the Basis implementation closer to the specification. Working version 110.43 available. This is a fairly major update which brings back an operational port to the Microsoft Windows platform as well as extensive work on the Basis library (including support for IntInf.int The SML/NJ source CVS repository has been moved to SourceForge. The SML/NJ SourceForge project page has a link to information about CVS access. The distribution files are also in the process of being moved to SourceForge. A mirror of the www.smlnj.org is available at the University of Chicago . The Bell Labs SML/NJ web site is now obsolete and will be replaced with an indirection to www.smlnj.org. [March 10, 2003]
The Machine Learning Group Has Been Replaced By
Research on inductive logic programming for natural language processing and for knowledge discovery in databases.
http://www.dsv.su.se/ML/
Express Project
ml/OS Goals Explore interaction between advanced programming languages, operating systems, compilers. Develop software technology to make advanced languages practical, useful tools for systems programming.
http://www.ai.mit.edu/projects/express/
DTAI - Machine Learning
Research in Data mining, Inductive Logic programming, Learning In Agents.
http://www.cs.kuleuven.ac.be/~ml/

Extractions: ML DTAI Dept. of Computer Science Faculty of Engineering ... K.U.Leuven [NEDERLANDS] ENGLISH Machine learning ( ML ) is concerned with building agents that improve their performance on specific tasks by accumulating and processing experience. Within the field of artificial intelligence, machine learning occupies a central position as there can be no intelligence unless it is capable of learning. Data Mining The aim of data mining is to find regularities in (possibly large) sets of data. These regularities can be used either for predictive purposes, or for descriptive purposes. As an example of the former, if the data is about patients, their symptoms and diagnosis, one can combine the symptoms of a new patient with the induced regularities to propose a diagnosis. As an example of the latter, in the same domain, an induced regularity describes a piece of scientific knowledge. If previously unknown to the medical doctors, it constitutes a piece of new knowledge which enhances the understanding of the domain. Inductive Logic Programming Classical data mining is suitable for learning patterns from data with a simple structure (typically a single relation where each tuple describes an example). However, the emphasis of our research lies on the development of algorithms that are able to induce regularities in structured domains (e.g. in biochemistry). This requires the use of an expressive representation language such as that offered by computational logic, both to describe the complex data used for learning and to express the patterns that are learnt. This has lead to the field of inductive logic programming, in which our group occupies a leading position.
The Fox Project
OS based on ml language. Goal Advance the art of programming language design and implementation, while applying principles of programming languages to advance the art of systems building. Project work theoretical studies of languages and their traits, developing new compiler and runtime technology, empirical studies of applying advanced language techniques to real-world programming problems, more so in areas of high-performance networks and OSs.
http://www-2.cs.cmu.edu/~fox/

Extractions: Pittsburgh, Pennsylvania, USA The Fox Project was supported by the Defense Advanced Research Projects Agency CSTO under the title "The Fox Project: Advanced Languages for Systems Software", ARPA Order Number C533, issued by ESC/ENS under Contract Number F19628-95-C-0050 and under the title "The Fox Project: Advanced Development of Systems Software", ARPA Order Number 8313, issued by ESD/AVS under Contract Number F196228-91-C-0168. The objective of the Fox Project is the development of language support for building safe, highly composable, and reliable systems. We seek to accomplish this by exploiting and advancing the state-of-the-art in programming language technology, including fundamental design principles, compiler technologies, and the mathematical underpinning of programming languages and logics. We demonstrate our results through language implementations and applications in systems software such as embedded systems or active networks, emphasizing those which must simultaneously be highly customizable, safe, and efficient. The current emphasis is on applications for program composition in embedded systems.
The OCaml Language
s, documents, resources, downloads. English, Fran§ais. Open Source, INRIALatest version of Caml dialect of stronglytyped functional language ml object-oriented programming, flexible module system, fast native compilers for many systems.
http://www.ocaml.org/

Extractions: Objective Caml is a fast modern type-inferring functional programming language descended from the ML (Meta Language) family. The O'Caml compiler was developed at INRIA's projet Cristal Objective Caml 3.07 released. Get it here An Objective Caml program wins first prize at the ICFP 2002 programming contest Objective Caml 3.06 released. Get it here Objective Caml 3.05 released. Get it here The preliminary full text to the O'Reilly book, Developing Applications with Objective Caml is available on-line! Objective Caml 3.04 released. Get it here Caml Development Kit 3.03 released. Get it here Objective Caml 3.02 released. Get it here Objective Caml ranks 2nd on speed (between C and C++) on Doug Bagley's computer language shootout Objective Caml 3.01 released. Get it here A set of new Caml examples are now available (ranging from simple examples for beginners to complex examples for specialists). Launching the Caml consortium Two Objective Caml programs win first and second prizes at the ICFP programming contest OcamlExc , a static analyzer for uncaught exceptions.
Notes On Programming SML/NJ
Included is a set of notes for programming Standard ml of New Jersey. This is very much work in progress, and comments and suggestions are welcome.
http://www.cs.cornell.edu/riccardo/smlnj.html

Extractions: Mailing Lists While I was at Bell Labs, I was involved with the SML/NJ project, a compiler for the language Standard ML. Included is a set of notes for programming Standard ML of New Jersey. This is very much work in progress, and comments and suggestions are welcome. From the preface: Last modified: Thu Sep 13 05:35:06 2001
Galaxy Directory : ML < Programming Languages < Computer Technology < Engineerin
Galaxy Engineering and Technology Computer Technology programming Languages ml Submit Your Site to this Directory Featured
http://www.galaxy.com/galaxy/Engineering-and-Technology/Computer-Technology/Prog
FireWire Imaging, Semiconductor Industry, Off-The-Shelf Software, WDM Stream Cla
DFM 21F04ml, The Imaging Source FireWire camera module (color/visualization), 1/4 CCD, progressive scan programming interface of Standard, 550.00, 550.00.
http://www.1394imaging.com/products/cameras/dfm21f04ml/?sid=3ed801809ac1d9e77e93
FireWire Imaging, Mold Number Recognition, Imaging Equipment, Video-To-Firewire,
programming interface of Standard, 475.00, 530.00. System suggestion for the US video standard NTSC. programming interface of Standard, 475.00, 530.00.
http://www.1394imaging.com/resources/systems/dfg13941/dfg13941_cam_dfk50h13.htm?

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

81-100 of 113 Back | 1 | 2 | 3 | 4 | 5 | 6 | Next 20