Sciweavers

    750 search results - page 117 / 150
    » Making a Difference in the Software Century
    Sort
    View
    IEICET
    2006
    114views more  IEICET 2006»
    Synchronization Verification in System-Level Design with ILP Solvers
    14 years 9 months ago
    Synchronization Verification in System-Level Design with ILP Solvers
    Download  www.cad.t.u-tokyo.ac.jp
    Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
    Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...
    claim paper
    Read More »
    76
    Voted
    JAL
    2008
    89views more  JAL 2008»
    Experimenting with parallelism for the instantiation of ASP programs
    14 years 9 months ago
    Experimenting with parallelism for the instantiation of ASP programs
    Download  pst.istc.cnr.it
    Abstract. In the last few years, the microprocessors technologies have been definitely moving to multi-core architectures, in order to improve performances as well as reduce power ...
    Francesco Calimeri, Simona Perri, Francesco Ricca
    claim paper
    Read More »
    JCIT
    2008
    150views more  JCIT 2008»
    Affective Space Calibration in Action-rich Media Affective Systems
    14 years 9 months ago
    Affective Space Calibration in Action-rich Media Affective Systems
    Download  www.aicit.org
    Affective computing systems are software systems that take in account the emotional state of the user during their operation. Recently it is increasingly accepted that combining e...
    Anestis A. Toptsis, Alexander Dubitski
    claim paper
    Read More »
    JUCS
    2008
    116views more  JUCS 2008»
    A Workflow Language for Web Automation
    14 years 9 months ago
    A Workflow Language for Web Automation
    Download  www.jucs.org
    : Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
    Paula Montoto, Alberto Pan, Juan Raposo, Jos&eacut...
    claim paper
    Read More »
    81
    Voted
    KAIS
    2008
    109views more  KAIS 2008»
    Knowledge-empowered automated negotiation system for e-Commerce
    14 years 9 months ago
    Knowledge-empowered automated negotiation system for e-Commerce
    Download  www.fst.umac.mo
    This paper focuses on knowledge empowered automated negotiation systems for buyer-centric multi-bilateral multi-attribute e-Procurement. We propose two knowledge empowered models,...
    Zhuang Yan, Simon Fong, Meilin Shi
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2025, USA.