4745 search results - page 475 / 949 » Discretization: An Enabling Technique |
200
click to vote
EUROMICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable ...
162
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
With the aim of facilitating teachers the use of good techniques in computer assisted assessment, this paper proposes the integration of rubric functionalities in an editor compli...
177
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Video file synchronization between remote users is an important task in many applications. Re-transmission of a video that has been only slightly modified is expensive, wasteful...
165
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper we present a new vision-based SLAM approach for multi-robot formulation. For a cooperative map reconstruction, the robots have to know each other’s relative pos...
151
click to vote
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We introduce a tree-sequent calculus for inquisitive logic (Groenendijk 2008) as a special form of labelled deductive system (Gabbay 1996). In particular, we establish th...