Sciweavers

14331 search results - page 33 / 2867
» On the modeling and analysis of obligations
Sort
View
SIGSOFT
2007
ACM
16 years 2 months ago
Programming asynchronous layers with CLARITY
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
Prakash Chandrasekaran, Christopher L. Conway, Jos...
100
Voted
SMI
2008
IEEE
168views Image Analysis» more  SMI 2008»
15 years 8 months ago
Autotagging to improve text search for 3D models
Corey Goldfeder, Peter K. Allen
81
Voted
ICDAR
2007
IEEE
15 years 8 months ago
Hidden Markov Models for Online Handwritten Tamil Word Recognition
A. Bharath, Sriganesh Madhvanath
73
Voted
ICDAR
2007
IEEE
15 years 8 months ago
A New Physically Motivated Warping Model for Form Drop-Out
G. Rosman, A. Tzadok, D. Tal