12742 search results - page 88 / 2549 » On canonical number systems |
109
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we describe a framework for robust system maintenance that addresses speciļ¬c challenges of data-centric applications. We show that for data-centric applications, cl...
ICCS
2004
Springer
15 years 5 months ago
2004
Springer
Shadow Hybrid Monte Carlo (SHMC) is a new method for sampling the phase space of large biological molecules. It improves sampling by allowing larger time steps and system sizes in ...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
We present a calibration procedure to determine the kinematic parameters of an active stereo system in a robot-centric frame of reference. Our goal was to obtain a solution of suļ...
LICS
1990
IEEE
15 years 3 months ago
1990
IEEE
This paper discusses the relevance of a form of cut elimination theorem for linear logic tensor theories to the concept of a process on a Petri net. We base our discussion on two ...
111
click to vote
COLING
2008
15 years 1 months ago
2008
In this paper, we analyze the state of current human and automatic evaluation of topic-focused summarization in the Document Understanding Conference main task for 2005-2007. The ...