Search Sciweavers | Sciweavers

10916 search results - page 35 / 2184

» On Constructive Connectives and Systems

178

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 10 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 »

135

click to vote

SAC
2010
ACM

138views Applied Computing» more SAC 2010»

A rough set approach to mining connections from information systems

16 years 1 months ago

Download www2.nict.go.jp

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

Ken Kaneiwa

claim paper

Read More »

127

click to vote

TRIDENTCOM
2008
IEEE

97views Computer Networks» more TRIDENTCOM 2008»

A connectivity management system for vehicular telemedicine applications in heterogeneous networks

16 years 19 days ago

Download www.weedev.org

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

claim paper

Read More »

124

click to vote

GECCO
1999
Springer

136views Optimization» more GECCO 1999»

Random Systems with Complete Connections

15 years 10 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

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers