Search Sciweavers | Sciweavers

10916 search results - page 35 / 2184

» On Constructive Connectives and Systems

click to vote

BIRTHDAY
2007
Springer

82views Applied Computing» more BIRTHDAY 2007»

Deriving Specifications for Systems That Are Connected to the Physical World

15 years 1 months ago

Download www.cs.ncl.ac.uk

Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...

Cliff B. Jones, Ian J. Hayes, Michael A. Jackson

claim paper

Read More »

click to vote

SAC
2010
ACM

138views Applied Computing» more SAC 2010»

A rough set approach to mining connections from information systems

15 years 4 months ago

Download www2.nict.go.jp

Å Ò Ò Ø Ò × Ò ÓÒÒ Ø ÓÒ× ÖÓÑ Ò ÓÖÑ Ø ÓÒ ×Ý×¹ Ø Ñ× ´ÓÖ Ø × ×µ × Ñ ÙÐØ Ý Ø Ö ÒØ Ø Ú ÓÖ× Ò Ö Ð Ø ÓÒ× Ô× ÖÓ××ÑÙÐØ ...

Ken Kaneiwa

claim paper

Read More »

click to vote

TRIDENTCOM
2008
IEEE

97views Computer Networks» more TRIDENTCOM 2008»

A connectivity management system for vehicular telemedicine applications in heterogeneous networks

15 years 4 months ago

Download www.weedev.org

Frank Steuer, Thomas Geithner, Thomas Kaschwig, Ka...

claim paper

Read More »

click to vote

GECCO
1999
Springer

136views Optimization» more GECCO 1999»

Random Systems with Complete Connections

15 years 2 months ago

Download mitpress.mit.edu

Alexandru Agapie

claim paper

Read More »

click to vote

AAAI
2006

97views Intelligent Agents» more AAAI 2006»

Using snarpy to Connect a KR System to Pyro

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers