3658 search results - page 357 / 732 » Founding properties on measurement |
167
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
The built-in process registry has proven to be an extremely useful feature of the Erlang language. It makes it easy to provide named services, which can be reached without knowing...
190
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes a robotic system that uses dance as a form of social interaction to explore the properties and importance of rhythmic movement in general social interaction. ...
174
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Context-based literature digital library search is a new search paradigm that creates an effective ranking of query outputs by controlling query output topic diversity. We define ...
184
click to vote
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 10 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
183
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
Annotated corpora are valuable resources for NLP which are often costly to create. We introduce a method for transferring annotation from a morphologically annotated corpus of a so...