1527 search results - page 266 / 306 » What About Wednesday |
VIS
2004
IEEE
14 years 10 months ago
2004
IEEE
Our research deals with a fully automatic and fast visualization of possible tumoral areas on CT Scan images. To achieve this task, we use the bilateral symmetry of the human body...
GIS
2008
ACM
14 years 10 months ago
2008
ACM
An abundance of geospatial information is flourishing on the Internet but mining and disseminating these data is a daunting task. With anything published on the web available to t...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
Architecture description languages (ADL) have been established to aid the design of application-specific instruction-set processors (ASIP). Their main contribution is the automati...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...