4166 search results - page 425 / 834 » Automating the constraining process |
172
click to vote
COSIT
2009
Springer
16 years 21 days ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
152
click to vote
ERCIMDL
2009
Springer
16 years 21 days ago
2009
Springer
Paleography experts spend many hours transcribing historic documents, and state-of-the-art handwritten text recognition systems are not suitable for performing this task automatica...
202
click to vote
ENC
2008
IEEE
16 years 18 days ago
2008
IEEE
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
155
Voted
LCN
2008
IEEE
16 years 16 days ago
2008
IEEE
—Observing the environment is the raison d’ ˆetre of sensor networks, but the precise reconstruction of the measured process requires too many messages for a low power sensor ...
154
click to vote
FDL
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...