• Luận văn -Phương pháp kiểm chứng tính đúng đắn của một chương trình Java đa luồng thông qua sử dụng logic HoareLuận văn -Phương pháp kiểm chứng tính đúng đắn của một chương trình Java đa luồng thông qua sử dụng logic Hoare

    Với sự phát triển không ngừng của nhu cầu tính toán, xử lý số liệu, khai phá thông tin thì lập trình đa luồng ngày càng quan trọng và là một phần không thể thiếu trong các hệ thống tính toán, cũng như trong các hệ thống ứng dụng. Sự quan trọng và cần thiết của việc kiểm chứng tính đúng của chương trình luôn được quan tâm đúng mức do vai trò...

    pdf64 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2424 | Lượt tải: 0

  • Luận văn Phát triển, tối ưu thuật toán adaptive pagelayout trên PCLuận văn Phát triển, tối ưu thuật toán adaptive pagelayout trên PC

    Nhìn vào kết quả kiểm thử về thời gian được thể hiện qua đồ thị, ta có thể thấy rằng với số khối hình (block) nhỏ thì việc tối ưu không thực sự mang lại sự khác biệt. Tuy vậy, khi số block tăng lên (với số khối hình từ 40 trở lên) thì thời gian của thuật toán có sự giảm xuống đáng kể

    pdf53 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2519 | Lượt tải: 0

  • Luận văn Phát hiện biên biểu diễn fourier elliptic và ứng dụngLuận văn Phát hiện biên biểu diễn fourier elliptic và ứng dụng

    Trong lĩnh vực xử lý ảnh, quá trình phát hiện biên của những đối tượng ảnh là một giai đoạn rất quan trọng bởi độ chính xác của quá trình nhận diện, lấy đặc tính hình dạng và phân đoạn ảnh chủ yếu dựa vào giai đoạn này. Chính vì vậy, bài toán phát hiện biên luôn được quan tâm và không ngừng được phát triển.

    pdf83 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2913 | Lượt tải: 1

  • Luận văn Phân tích và thiết kếí hệ thống quản trị kí túc xá sinh viênLuận văn Phân tích và thiết kếí hệ thống quản trị kí túc xá sinh viên

    Ngoài việc giới thiệu các mảng cần được tin học hóa, cũng như đi sâu vào việc phân tích và thiết kế, xây dựng phân hệ quản lí KTX hướng đến đối tượng trung tâm là sinh viên, cùng với các hỗ trợ cho sinh viên qua mạng. Điều này không chỉ giúp cho sinh viên có được sự thuận lợi trong việc vào KTX, cũng như các sinh hoạt, các nhu cầu khác của sin...

    pdf92 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2552 | Lượt tải: 1

  • Luận văn Phân tích mạng xã hội bằng công nghệ WAVE - phân tích quan hệLuận văn Phân tích mạng xã hội bằng công nghệ WAVE - phân tích quan hệ

    Với việc phát triển thành công một ứng dụng nhỏ dựa trên nền tảng WAVE có chức năng thu thập thông tin về các blog Yahoo!360, sau đó tiến hành tạo dựng mạng tri thức trong WAVE tương ứng với các thông tin về đối tượng và quan hệ giữa các đối tượng thu thập được, cộng với những kết quảthực nghiệm tương đối khả quan về hiệu năng của hệ thống,...

    pdf78 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2596 | Lượt tải: 3

  • Luận văn Phân tích câu hỏi trong hệ thống hỏi đáp tiếng ViệtLuận văn Phân tích câu hỏi trong hệ thống hỏi đáp tiếng Việt

    Hệthống hỏi đáp tự động đang nhận được sựquan tâm đặc biệt của các nhà nghiên cứu và doanh nghiệp trong ngành công nghệthông tin. Nhu cầu vềmột hệthống hỏi đáp tiếng Việt là rất lớn. Phân tích câu hỏi có vai trò đặc biệt quan trọng trong hệthống hỏi đáp tự động. Khóa luận khảo sát các phương pháp phân tích câu hỏi đang được quan tâm, phân t...

    pdf71 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2901 | Lượt tải: 0

  • Luận văn Phân tách cụm danh từ cơ sở triếng việt sử dụng mô hình CRFSLuận văn Phân tách cụm danh từ cơ sở triếng việt sử dụng mô hình CRFS

    Khai phá dữ liệu là một lĩnh vực đã, đang và luôn luôn thu hút các nhà nghiên cứu bởi nó là một lĩnh vực cho phép phát hiện tri thức trong cơ sở dữ liệu khổng lồ bằng các phương thức thông minh. Nghiên cứu lĩnh vực này đòi hỏi người nghiên cứu phải biết tổng hợp các kết quả nghiên cứu ở nhiều lĩnh vực của khoa học máy tính và việc ứng dụng ...

    pdf58 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2433 | Lượt tải: 0

  • Luận văn Khai phá dữ liệu ứng dụng trong đào tạoLuận văn Khai phá dữ liệu ứng dụng trong đào tạo

    Khai phá dữ liệu là một lĩnh vực vẫn còn khá mới mẻ, lý thú. Luận văn đã trình bày, một số vấn đề cơ bản nhất, các phương pháp cơ bản để khai phá dữ liệu, đặc biệt trình bày chi tiết, làm rõ vấn đề khai phá luật kết hợp. Phương pháp khai phá dữ liệu có thể là: phân lớp, hồi quy, cây quyết định, suy diễn, quy nạp, K-láng giềng gần, các phươn...

    pdf78 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 3385 | Lượt tải: 2

  • Luận văn Nhận dạng tiếng nói tiếng việt - tìm hiểu và ứng dụngLuận văn Nhận dạng tiếng nói tiếng việt - tìm hiểu và ứng dụng

    Việc tách các tiếng trong một chuỗi tín hiệu hiện nay chỉ dừng ở mức kiểm tra năng lượng của nó, điều này dẫn đến việc tách các từ trong chuỗi âm có tỉ lệ chính xác không cao. Có thể dùng các đặc tính của tần số cơ bản để hỗ trợ thêm cho việc tách từ và loại bỏ những khoảng lặng, độ ồn nền và nhiễu.

    pdf103 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2577 | Lượt tải: 0

  • Luận văn Nghiên cứu, xây dựng cơ sở dữ liệu tích cựcLuận văn Nghiên cứu, xây dựng cơ sở dữ liệu tích cực

    Cơ sở dữ liệu là nền tảng của việc lưu trữ dữ liệu, được thể hiện ở chỗ nó là dữ liệu chính và duy nhất tồn tại thực sự cho mọi ứng dụng. Trong số những lĩnh vực nhận được sự chú ý trong những năm gần đây với cái nhìn làm nổi bật sự hoạt động dễ dàng là lập trình cơ sở dữ liệu,các cơ sở dữ liệu tạm thời, các cơ sở dữ liệu không gian, các cơ sở...

    pdf79 trang | Chia sẻ: lylyngoc | Ngày: 28/10/2013 | Lượt xem: 2610 | Lượt tải: 0