Sciweavers

1472 search results - page 49 / 295
» Technique Integration for Requirements Assessment
Sort
View
UIST
1999
ACM
15 years 10 months ago
Integrated Manipulation: Context-Aware Manipulation of 2D Diagrams
Diagram manipulation in conventional CAD systems requires frequent mode switching and explicit placement of the pivot for rotation and scaling. In order to simplify this process, ...
Masaaki Honda, Takeo Igarashi, Hidehiko Tanaka, Sh...
ICPR
2004
IEEE
16 years 6 months ago
An Integrated Decoding Framework for Audio Watermark Extraction
This paper proposes a blind audio watermark extraction technique that allows performing watermark decoding while installing data synchronization. The proposed decoding algorithm e...
Bilge Günsel, Yusuf Yaslan
ICOST
2007
Springer
15 years 12 months ago
Characterizing Safety of Integrated Services in Home Network System
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
Ben Yan, Masahide Nakamura, Lydie du Bousquet, Ken...
AMAI
2008
Springer
15 years 5 months ago
Integrating answer set programming and constraint logic programming
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
JUCS
2007
108views more  JUCS 2007»
15 years 5 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