1860 search results - page 173 / 372 » tools 2009 |
134
click to vote
FM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
167
click to vote
GBRPR
2009
Springer
16 years 21 days ago
2009
Springer
Modeling and understanding complex non-manifold shapes is a key issue in shape analysis and retrieval. The topological structure of a non-manifold shape can be analyzed through its...
144
click to vote
ICCPOL
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Telugu is the third most spoken language in India and one of the fifteen most spoken languages in the world. But, there is no standardized input method for Telugu, which ...
161
Voted
ICCS
2009
Springer
16 years 21 days ago
2009
Springer
We describe the new undergraduate science degree program in Computational and Data Sciences (CDS) at George Mason University (Mason), which began offering courses for both major (...
139
click to vote
ICFEM
2009
Springer
16 years 21 days ago
2009
Springer
Formal specification languages are traditionally supported by theorem provers, but recently model checkers have proven to be useful tools. In this paper we present Eboc, an explic...