Sciweavers

3868 search results - page 476 / 774
» Open Systems in TLA
Sort
View
PSYCHNOLOGY
2006
102views more  PSYCHNOLOGY 2006»
15 years 6 months ago
Radiology Informatics and Work Flow Redesign
The transformation from film-based to filmless operations has become more and more challenging as medical imaging studies expand in size and complexity. To adapt to these changes ...
Guido Vaccari, Carlo Saccavini
ADHOC
2005
144views more  ADHOC 2005»
15 years 6 months ago
Bluetooth scatternet formation: A survey
This paper describes the issue of piconet interconnection for Bluetooth technology. These larger networks, known as scatternets, have the potential to increase networking flexibil...
Roger M. Whitaker, Leigh E. Hodge, Imrich Chlamtac
AIM
2005
15 years 6 months ago
General Game Playing: Overview of the AAAI Competition
A General Game Playing System is one that can accept a formal description of a game and play the game effectively without human intervention. Unlike specialized game players, such...
Michael R. Genesereth, Nathaniel Love, Barney Pell
INFORMATICALT
2007
101views more  INFORMATICALT 2007»
15 years 6 months ago
Internationalization of Compilers
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...
Valentina Dagiene, Rimgaudas Laucius
JUCS
2007
108views more  JUCS 2007»
15 years 6 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani