|
|
PROSE
1. PROblem Solution Engineering. Numerical problems including
differentiation and integration. "Computing in Calculus",
J. Thames, Research/Development 26(5) (May 1975).
2. A constraints-and-sequencing system similar to
Kaleidoscope. "Reflexive Constraints for Dynamic Knowledge
Bases", P. Berlandier et al in Proc First Intl CS Conf '88:
AI: Theory and Appls, Dec 1988.
Try this search on OneLook / Google
Nearby terms:
propositional calculus « propositional logic « proprietary « PROSE » ProSet » PROSPER » Prospero
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
IBM PIII 650MHz 64MB 12GB CD No FDD 13.3'' TFT - BIBM PIII 650MHz 64MB 12GB CD No FDD 13.3'' TFT - B ** IBM ThinkPad 600X Pentium III Notebook **Need a versatile desktop alternative? This IBM ThinkPad notebook features an Intel Pentium III 650 MHz processor, 64 MB of RAM, and a 12 GB hard drive. CD-ROM drive, integrated audio, video, and modem are also included. Just load the OS and drivers to complete this great system!General Features:- Grade B - Intel Pentium III 650 MHz processor- 64 MB RAM (576 MB maximum)- 12 GB hard drive- Interchangeable CD-ROM drive (speeds may vary)- No Floppy disk drive- MagicMedia 256ZX integrated graphics w/3MB memory- Integrated audio with built-in speakers- Integrated 56K v.90 modem- 13.3-inch TFT with 1024 x 768 maximum resolution- 84-key Keyboard with Trackpoint- Lithium-Ion batteryExpansion Slots:- Two (2) PCMCIA Type I/II slots or one type IIII/O Ports:- One (1) PS/2 port- One (1) 9-pin standard serial port- One (1) 15-pin standard VGA port- One (1) 25-pin standard parallel port- One (1) Docking station connector- One (1) Video out port- One (1) USB port- One (1) RJ-11 standard phone jack- Line-in, microphone and headphone jacksRegulatory Approvals:- FCC- CE- UL- VCCI- C-Tick- Gost-RPackage Includes:- IBM ThinkPad refurbished notebook- AC adapter (100-240 V, 50/60 Hz, 0.7 - 1.2 A)- Power CordNotes:- The battery is not covered under the warranty- The battery is not guaranteed to hold a charge- OS and drivers NOT included- Floppy drive NOT included Compatibility/Requirements/Disclosures: ** Requirements *** Operating System (OS)* Drivers for installed devices* Available power outlet** Refurbished Notebook Grades **Grade B* Notebook is in very good condition* Has Cosmetic Blemishes, examples of which are (but not limited to):* Scratches in case* Scratches in the screen* Hairline crack in case* Dead pixels (5 or less)* Missing doors* May be missing manual, drivers, operating system, carrying cases* Battery is not guaranteed to hold a full charge* Battery is not covered under warranty* All specific issues will be noted in the ad* Etc. More ...
KWorld Xpert DVD Maker PCI Video Capture CardKWorld Xpert DVD Maker PCI Video Capture Card ** KWorld V-Stream Xpert DVD Maker **Convert any video tape movies and send the image easily to your PC for editing and saving in VCD, SVCD, and DVD format with the Xpert DVD Maker! The Xpert DVD maker features a high-quality 10-bit NTSC/PAL/SECAM composite and S-video decoder, video resolutions up to 720 x 480 @ 30fps, and aPCI interface. With the CyberLink PowerProducer 2 Gold software, you can easily capture and burn any videos from any video source such as DVD Player / VCD / VHS /Camcorder and burn to to DVD without using any extra hard drive space! Get yours today!General Features:- Conexant CX23883-19 chipset- PCI interface- 10-bit NTSC/PAL/SECAM composite and S-video decoder- 720 x 480 @ 30 fps video resolution (NTSC)- 720 x 576 @ 25 fps video resolution (PAL)- Capture video source from VHS, HI8, etc.- Supports Mpeg4, Mpeg2, and Mpeg1 format- Capture BMP and JPEG still image format- Burn video to DVD/VCD/SVCD- Automatic NTSC/PAL detection- S-Video external connectorRetail Package Includes:- Xpert DVD Maker- User manual- Installation CD w/Power Producer 2 Gold & PVR Plus- Video and audio converter cableNote:- Model: VS-L883D Compatibility/Requirements/Disclosures:** Requirements *** Pentium 700 MMX processor or higher* Windows 98SE/ME/2000/XP* 128 MB RAM* 16 MB VGA card w/800 x 600 16-bit resolution* Sound card* CD-ROM drive* Available PCI slot Informational Links:http://www.kworld.com.twhttp://www.kworld.com.tw/pindex.asp?id=19&pid=24 More ...
McAfee VirusScan 8.0 2004 OEMMcAfee VirusScan 8.0 2004 OEM ** McAfee VirusScan 8.0 2004 OEM 1 year Updates**Stop viruses and keep your PC safe with McAfee VirusScan software! When you're surfing the Internet, there's more to worry about than just viruses. VirusScan software destroys threats at all entry points to your PC including email, the Internet, and even synchronization with your PDA. VirusScan includes extra firewall protection to keep your computer safe from Internet-based threats.Notes:- OEM CD ONLY More ...
Xircom 10/100 PCMCIA Dongle Network CableXircom 10/100 PCMCIA Dongle Network Cable ** Xircom 10/100 PCMCIA Dongle Network Cable **General Features:- Replacement 10/100 Xircom / Intel PCMCIA Network / NIC dongle with RJ-45 jack- Part # CABLE-ETH112 / 180-0022-003 BNotes:Dongle ONLY More ...
DSTN VGA 9.4-Inch LCD LM64C142DSTN VGA 9.4-Inch LCD LM64C142 ** DSTN VGA 9.4-Inch LCD LM64C142 **- Model number: LM64C142 - Screen: 9.4 diagonal screen - Drive method: Passive Matrix - Display area: 192(H) x 144(V)mm - Number of pixels: 640 x 480 - Display color: 262,144 colors - Luminance: 80cd/m2 typical - Backlight: 1 cold cathode fluorescent lamp - Backlight inverter: Attached - Contrast ratio: 30:1 typical - Input signals: Digital RGB(6bits), dot clock, H-sync, V-sync - Outline dimensions: (Screen Assy) 251(W) x 182.1(H) x 10 max.(D) mm 10.5 (W) x 7.2 (H) x .4 (D) - Metal Shipping Plate: 11.25 (W) x 8.5 (H) x 1 (D) More ...
Dell 24x Notebook CD-ROM IDE Drive (Gray)Dell 24x Notebook CD-ROM IDE Drive (Gray) ** Dell 24x Notebook CD-ROM Drive **This Dell 6T980-A01 notebook computer featuresa data transfer rate of up to 24x. Made for a number of Dell Latitude and Inspiron notebooks, it features a beveled face and is gray in color. Pick up a few today!General Features:- Gray Bezel- Data Transfer Rate: up to 3600 KB/sec (24x)Partial list of compatible notebooks:- Dell Latitude X200, X300, D400, D500, D505, D600 and D800.- Dell Inspiron 300M, 500M, 510M, 600M, 8500 and 8600.Plain Box Includes:- Drive Only- Model: 6T980-A01 Compatibility/Requirements/Disclosures: ** Requirements *** Compatible Dell notebook More ...
|