1288 search results - page 131 / 258 » Visual Generalization in Programming by Example |
111
click to vote
SCAM
2007
IEEE
15 years 9 months ago
2007
IEEE
—The access of information systems to underlying relational databases is commonly programmed using embedded SQL queries. Such embedded queries may take the form of string literal...
132
click to vote
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
ICRA
1993
IEEE
15 years 7 months ago
1993
IEEE
Force control implemented by a passive mechanical device (perhaps a wrist) has inherent advantages over active implementations. A passive mechanical device can regain some of the ...
136
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
105
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Even though in recent years research and development of humanoid robots has increased, the major topics of research generally focus on how to make a robot perform specific motions...