Sciweavers

10289 search results - page 335 / 2058
» Standard bases in K
Sort
View
COMSIS
2004
110views more  COMSIS 2004»
15 years 6 months ago
Generating XML Based Specifications of Information Systems
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
Miro Govedarica, Ivan Lukovic, Pavle Mogin
COMCOM
2002
139views more  COMCOM 2002»
15 years 6 months ago
Improving TCP handoff performance in Mobile IP based networks
Mobile IP has been designed to support host mobility over the Internet. In this paper, we show that in most cases the smooth handoff by the route optimization of the Mobile IP sta...
Doo Seop Eom, HeyungSub Lee, Masashi Sugano, Masay...
PAMI
2007
108views more  PAMI 2007»
15 years 6 months ago
Space-Time Adaptation for Patch-Based Image Sequence Restoration
—We present a novel space-time patch-based method for image sequence restoration. We propose an adaptive statistical estimation framework based on the local analysis of the bias-...
Jérôme Boulanger, Charles Kervrann, P...
RTS
2008
131views more  RTS 2008»
15 years 6 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
PPSN
2010
Springer
15 years 5 months ago
An Analysis of the XOR Dynamic Problem Generator Based on the Dynamical System
In this paper, we use the exact model (or dynamical system approach) to describe the standard evolutionary algorithm (EA) as a discrete dynamical system for dynamic optimization pr...
Renato Tinós, Shengxiang Yang