2607 search results - page 381 / 522 » Complete Functional Synthesis |
131
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
136
Voted
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
133
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
–Retransmission based schemes are not suitable for energy constrained wireless sensor networks. Hence, there is an interest in including parity bits in each packet for error cont...
139
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— In current conventional method, the sewer pipe inspection is undertaken using a cable-tethered robot with an on-board video camera system, completely, tele-operated by human op...
124
Voted
HRI
2006
ACM
15 years 8 months ago
2006
ACM
The essence of the signal-to-symbol problem consists of associating a symbolic description of an object (e.g., a chair) to a signal (e.g., an image) that captures the real object....