4480 search results - page 458 / 896 » Prototyping Completion with Constraints Using Computational ... |
203
Voted
IEICET
2007
15 years 6 months ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
192
click to vote
MM
1996
ACM
15 years 11 months ago
1996
ACM
MAD (Movie Authoring and Design) is a novel design and authoring system that facilitates the process of creating dynamic visual presentations such as motion pictures and lecture-d...
224
click to vote
HAPTICS
2005
IEEE
16 years 13 days ago
2005
IEEE
Background: Monitoring body kinematics has fundamental relevance in several biological and technical disciplines. In particular the possibility to exactly know the posture may fur...
222
click to vote
SIGMOD
2012
ACM
13 years 9 months ago
2012
ACM
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...
175
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
We carefully investigate humanity’s intuitive understanding of trust and extract from it fundamental properties that succinctly synthesize how trust works. From this detailed ch...