Sciweavers

653 search results - page 86 / 131
» Abstract Generation Based On Rhetorical Structure Extraction
Sort
View
CAV
2007
Springer
108views Hardware» more  CAV 2007»
15 years 4 months ago
Systematic Acceleration in Regular Model Checking
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
Bengt Jonsson, Mayank Saksena
ICDE
2011
IEEE
281views Database» more  ICDE 2011»
14 years 1 months ago
Declarative analysis of noisy information networks
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...
Walaa Eldin Moustafa, Galileo Namata, Amol Deshpan...
JIPS
2010
195views more  JIPS 2010»
14 years 4 months ago
Distributed and Scalable Intrusion Detection System Based on Agents and Intelligent Techniques
Abstract--The Internet explosion and the increase in crucial web applications such as ebanking and e-commerce, make essential the need for network security tools. One of such tools...
Aly M. El-Semary, Mostafa Gadal-Haqq M. Mostafa
UM
2010
Springer
14 years 8 months ago
User Modeling for Telecommunication Applications: Experiences and Practical Implications
Abstract. Telecommunication applications based on user modeling focus on extracting customer behavior and preferences from the information implicitly included in Call Detail Record...
Heath Hohwald, Enrique Frías-Martíne...
63
Voted
PCM
2005
Springer
166views Multimedia» more  PCM 2005»
15 years 3 months ago
Creative Cartoon Face Synthesis System for Mobile Entertainment
Abstract. This paper presents a prototype system, which synthesizes entertainment-oriented cartoon face and translates text message to multimedia animation in mobile phone. While a...
Junfa Liu, Yiqiang Chen, Wen Gao, Rong Fu, Renqin ...