Sciweavers

3809 search results - page 186 / 762
» Associative language descriptions
Sort
View
ICRA
2010
IEEE
134views Robotics» more  ICRA 2010»
15 years 5 months ago
Understanding and executing instructions for everyday manipulation tasks from the World Wide Web
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
Moritz Tenorth, Daniel Nyga, Michael Beetz
KBSE
2010
IEEE
15 years 5 months ago
A program differencing algorithm for verilog HDL
During code review tasks, comparing two versions of a hardware design description using existing program differencing tools such as diff is inherently limited because existing p...
Adam Duley, Chris Spandikow, Miryung Kim
ESWA
2006
139views more  ESWA 2006»
15 years 6 months ago
An efficient data mining approach for discovering interesting knowledge from customer transactions
Mining association rules and mining sequential patterns both are to discover customer purchasing behaviors from a transaction database, such that the quality of business decision ...
Show-Jane Yen, Yue-Shi Lee
POPL
2000
ACM
15 years 10 months ago
Generalized Certificate Revocation
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
Carl A. Gunter, Trevor Jim
UML
2000
Springer
15 years 10 months ago
From Use Cases to System Operation Specifications
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
Shane Sendall, Alfred Strohmeier