3724 search results - page 643 / 745 » Timed regular expressions |
126
Voted
INTERACT
2003
15 years 5 months ago
2003
: To a large degree information has become accessible – anytime, anywhere – but not necessarily useful. Unless the right information is presented at the right time, in the righ...
127
Voted
METMBS
2003
15 years 5 months ago
2003
Abstract Technological advancements are constantly increasing the size and complexity of data resulting from microarray experiments. This fact has led biologists to ask complex que...
105
click to vote
AAAI
2000
15 years 5 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
114
Voted
WSC
1998
15 years 5 months ago
1998
VHDL-AMS is an Analog and Mixed-Signal extension to the Very High Speed Integrated Circuit Hardware Description Language (VHDL). With the standardization of VHDL-AMS, capable and ...
128
Voted
SLP
1994
15 years 5 months ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...