Sciweavers

4738 search results - page 661 / 948
» Past, Present, and Future
Sort
View
SMC
2007
IEEE
100views Control Systems» more  SMC 2007»
16 years 1 months ago
Text categorization based on the ratio of word frequency in each categories
— In the present paper, we consider the automatic text categorization as a series of information processing and propose a new classification technique called the Frequency Ratio ...
Makoto Suzuki, Shigeichi Hirasawa
TPHOL
2007
IEEE
16 years 1 months ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy
186
Voted
VR
2007
IEEE
16 years 1 months ago
Designing and Evaluating a Haptic System for Biomolecular Education
In this paper we present an in situ evaluation of a haptic system, with a representative test population, we aim to determine what, if any, benefit haptics can have in a biomolec...
Petter Bivall Persson, Matthew D. Cooper, Lena A. ...
186
Voted
WISE
2007
Springer
16 years 1 months ago
How Do Users Express Goals on the Web? - An Exploration of Intentional Structures in Web Search
Many activities on the web are driven by high-level goals of users, such as “plan a trip” or “buy some product”. In this paper, we are interested in exploring the role and ...
Markus Strohmaier, Mathias Lux, Michael Granitzer,...
216
Voted
IROS
2007
IEEE
139views Robotics» more  IROS 2007»
16 years 1 months ago
Geometric motion estimation and control for robotic-assisted beating-heart surgery
— One of the potential benefits of robotic systems in cardiac surgery is that their use can increase the number of possible off-pump (beating heart) coronary artery bypass graft...
Vincent Duindam, Shankar Sastry