Sciweavers

60 search results - page 10 / 12
» Argument Realization in Dutch
Sort
View
SAC
2010
ACM
13 years 7 months ago
Graph-based verification of static program constraints
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
Selim Ciraci, Pim van den Broek, Mehmet Aksit
ISCAS
1994
IEEE
60views Hardware» more  ISCAS 1994»
13 years 11 months ago
A Comparison of First and Second Generation Switched-Current Cells
The Switched-Current SI technique is a circuit method that enables analog sampled-data circuits to be realized with a standard digital CMOS process. At this time it is fair to say...
Peter M. Sinn, Gordon W. Roberts
LREC
2008
180views Education» more  LREC 2008»
13 years 8 months ago
Romanian Semantic Role Resource
Semantic databases are a stable starting point in developing knowledge based systems. Since creating language resources demands many temporal, financial and human resources, a pos...
Diana Trandabat, Maria Husarciuc
IVC
2008
148views more  IVC 2008»
13 years 7 months ago
Cognitive vision: The case for embodied perception
This paper considers arguments for the necessity of embodiment in cognitive vision systems. We begin by delineating the scope of cognitive vision, and follow this by a survey of t...
David Vernon
ICFP
2007
ACM
14 years 7 months ago
Tangible functional programming
We present a user-friendly approach to unifying program creation and execution, based on a notion of "tangible values" (TVs), which are visual and interactive manifestat...
Conal Elliott