1707 search results - page 122 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
168
click to vote
DATE
2007
IEEE
16 years 21 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
170
click to vote
COLING
2010
15 years 1 months ago
2010
This paper makes three significant extensions to a noisy channel speller designed for standard written text to target the challenging domain of search queries. First, the noisy ch...
151
click to vote
DATE
2006
IEEE
16 years 13 days ago
2006
IEEE
Multimedia and communication algorithms from embedded system domain often make extensive use of floating-point arithmetic. Due to the complexity and expense of the floating-poin...
165
click to vote
ISMAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This demonstration will highlight the Designer’s Augmented Reality Toolkit (DART), a system that allows users to easily create augmented reality (AR) experiences. Over the past ...
171
click to vote
KBSE
2008
IEEE
16 years 23 days ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...