1486 search results - page 182 / 298 » A Document as a Small World |
152
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
178
click to vote
IWDW
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In image authentication watermarking, hidden data is inserted into an image to detect any accidental or malicious image alteration. In the literature, quite a small numbe...
145
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
Agile Software practices place great emphasis on coding, yet coding is time-consuming, difficult, and the source of many errors. The paper describes a way in which the specificati...
146
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
RHex is a hexapod with compliant legs and only six actuated degrees of freedom. Its ability to traverse highly fractured and unstable terrain, as well ascend and descend a particu...
166
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...