2252 search results - page 150 / 451 » Regular expression patterns |
127
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
135
click to vote
ACSW
2006
15 years 5 months ago
2006
Developing profiles to describe user or system behaviour is a useful technique employed in Computer Forensic investigations. Information found in data obtained by investigators ca...
112
click to vote
RAS
2006
15 years 4 months ago
2006
The M-TRAN is a modular robot capable of both three-dimensional self-reconfiguration and whole body locomotion. Introducing regularity in allowed structures reduced difficulties o...
155
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
With the rapid growth of biomedical research databases, opportunities for scientific inquiry have expanded quickly and led to a demand for computational methods that can extract b...
159
click to vote
DSVIS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A collection of user interface design patterns for workflow information systems is presented. Each Workflow User Interface Pattern (WUIP) is characterized by properties e...