8828 search results - page 162 / 1766 » Formal methods in practice |
145
click to vote
EUROCAST
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
126
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
139
click to vote
CHIMIT
2009
ACM
15 years 11 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
126
click to vote
ICDM
2007
IEEE
15 years 11 months ago
2007
IEEE
Recent years have witnessed an increasing number of studies in stream mining, which aim at building an accurate model for continuously arriving data. Somehow most existing work ma...
135
click to vote
WEBDB
2004
Springer
15 years 10 months ago
2004
Springer
Among the various proposals answering the shortcomings of Document Type Definitions (DTDs), XML Schema is the most widely used. Although DTDs and XML Schema Defintions (XSDs) di...