3591 search results - page 290 / 719 » Typing linear constraints |
338
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
175
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper presents the design of a 14 degree-ofmotion forearm actuation unit for an upper extremity prosthesis. The forearm utilizes pneumatic type actuators which use...
214
click to vote
DBKDA
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--With the growing computer networks, accessible data is becoming increasing distributed. Understanding and integrating remote and unfamiliar data sources are important dat...
179
click to vote
CP
2006
Springer
15 years 11 months ago
2006
Springer
We describe the Zinc modelling language. Zinc provides set constraints, user defined types, constrained types, and polymorphic predicates and functions. The last allows Zinc to be ...
191
click to vote
ACL
1992
15 years 8 months ago
1992
I argue that because of spelling and typing errors and other properties of typed text, the identification of words and word boundaries in general requires syntactic and semantic k...