Sciweavers

3311 search results - page 532 / 663
» Deductive Object Programming
Sort
View
101
Voted
ACL
2010
14 years 8 months ago
Hard Constraints for Grammatical Function Labelling
For languages with (semi-) free word order (such as German), labelling grammatical functions on top of phrase-structural constituent analyses is crucial for making them interpreta...
Wolfgang Seeker, Ines Rehbein, Jonas Kuhn, Josef v...
88
Voted
ICETET
2009
IEEE
14 years 7 months ago
Effect of Haptic Force Feedback on Upper Limb
-- A methodology for studying the effect of vibrations generated by a haptic interface on upper limb is introduced. In the proposed methodology, a subject presses on a horizontally...
Sunil Belur Nagaraj, Daniela Constantinescu
77
Voted
ENTCS
2010
111views more  ENTCS 2010»
14 years 7 months ago
Fundamental Nano-Patterns to Characterize and Classify Java Methods
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
Jeremy Singer, Gavin Brown, Mikel Luján, Ad...
IJIIDS
2010
136views more  IJIIDS 2010»
14 years 5 months ago
Kleisli category and database mappings
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
Zoran Majkic, Bhanu Prasad
CORR
2011
Springer
200views Education» more  CORR 2011»
14 years 4 months ago
Validation Measures in CMMI
—Validation is one of the software engineering disciplines that help build quality into software. The major objective of software validation process is to determine that the soft...
Mahmoud Khraiwesh