Tag asm [74 articles] Export

Recent papers classified by the tag asm.

	High Level System Design and Analysis Using Abstract State Machines [My Copy] In FM-Trends 98: Proceedings of the International Workshop on Current Trends in Applied Formal Method (1999), pp. 1-43. by Egon Börger posted to formal-methods asm by prahlad on 2009-11-29 08:25:48 as
	Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer [My Copy] Formal Methods and Testing (2008), pp. 39-76. by Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson posted to test-case-generation specexplorer asm by prahlad on 2009-11-29 07:40:51 as along with 1 person kevin3stone
	A Logical Operational Semantics of Full Prolog, Part II: Built-in Predicates for Database Manipulation [My Copy] In MFCS '90: Proceedings of the Mathematical Foundations of Computer Science 1990 (1990), pp. 1-14. by Egon Börger posted to semantics asm by prahlad on 2009-11-29 06:46:04 as
	A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control [My Copy] In CSL '89: Proceedings of the 3rd Workshop on Computer Science Logic (1990), pp. 36-64. by Egon Börger posted to semantics asm by prahlad on 2009-11-29 06:41:09 as
	A mixture model for representing shape variation [My Copy] Image and Vision Computing, Vol. 17, No. 8. (June 1999), pp. 567-573. by T. Cootes posted to shape asm by singhsh on 2009-10-21 19:42:58 as
	Oriented Active Shape Models [My Copy] Medical Imaging, IEEE Transactions on In Medical Imaging, IEEE Transactions on, Vol. 28, No. 4. (2009), pp. 571-584. by Jiamin Liu, J. K. Udupa posted to asm segmentation by xtizon on 2009-04-02 09:15:22 as along with 1 person proditus
	Efficient and generalizable statistical models of shape and appearance for analysis of cardiac MRI [My Copy] Medical Image Analysis, Vol. 12, No. 3. (June 2008), pp. 335-357. by A. Andreopoulos, J. Tsotsos posted to aam asm cardiac mri registration segmentation by stsaft on 2008-11-16 23:07:49 as
	Direct Support for Model Checking Abstract State Machines by Utilizing Simulation [My Copy] LNCS In ABZ, Vol. 5238 (2008), pp. 112-124. by Jörg Beckers, Daniel Klünder, Stefan Kowalewski, Bastian Schlich edited by Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca posted to 2008 asm model_checking simulation _to_download by leonardo on 2008-10-23 22:38:33 as
	Video object tracking based on extended active shape models with color information [My Copy] In University of Poitiers (2002), pp. 126-131. by A. Koschan, S. K. Kang, J. K. Paik, B. Abidi, M. Abidi posted to asm object tracking video with by AnzaA on 2008-09-24 19:40:09 as
	Spectrum pooling: an innovative strategy for the enhancement of spectrum efficiency [My Copy] Communications Magazine, IEEE In Communications Magazine, IEEE, Vol. 42, No. 3. (2004), pp. S8-14. by T. A. Weiss, F. K. Jondral posted to asm ofdma by fbernardo on 2008-07-23 16:59:21 as along with 2 people omidf2 Majed
	Advanced Spectrum Management in Multicell OFDMA Networks Enabling Cognitive Radio Usage [My Copy] Wireless Communications and Networking Conference, 2008. WCNC 2008. IEEE In Wireless Communications and Networking Conference, 2008. WCNC 2008. IEEE (2008), pp. 1927-1932. by F. Bernardo, J. Perez-Romero, O. Salient, R. Agusti posted to asm mios by fbernardo on 2008-07-23 16:56:35 as
	Regulatory and standardization aspects of DSA technologies - global requirements and perspective [My Copy] New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005. 2005 First IEEE International Symposium on In New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005. 2005 First IEEE International Symposium on (2005), pp. 700-705. by J. A. Hoffmeyer posted to asm by fbernardo on 2008-07-23 16:53:57 as
	Completeness of ASM Refinement [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 13th BAC-FACS Refinement Workshop (REFINE 2008), Vol. 214 (28 June 2008), pp. 25-49. by Gerhard Schellhorn posted to 2008 asm completeness refinement by leonardo on 2008-07-22 18:33:12 as
	A Genetic Approach to Cell-by-Cell Dynamic Spectrum Allocation for Optimising Spectral Efficiency in Wireless Mobile Systems [My Copy] Cognitive Radio Oriented Wireless Networks and Communications, 2007. CrownCom 2007. 2nd International Conference on In Cognitive Radio Oriented Wireless Networks and Communications, 2007. CrownCom 2007. 2nd International Conference on (2007), pp. 367-372. by D. Thilakawardana, K. Moessner posted to asm by fbernardo on 2008-07-22 13:04:59 as
	An efficient approach to automate the manual trial and error calibration of activated sludge models [My Copy] Biotechnology and Bioengineering, Vol. 100, No. 3. (2008), pp. 516-528. by Gürkan Sin, Dirk J. W. De Pauw, Stefan Weijers, Peter A. Vanrolleghem posted to asm automated calibration model methods by Pascalichouchou on 2008-07-07 10:28:33 as
	Spectrum sharing through distributed coordination in dynamic spectrum access networks [My Copy] Wirel. Commun. Mob. Comput., Vol. 7, No. 9. (November 2007), pp. 1061-1075. by Jun Zhao, Haitao Zheng, Guang-Hua Yang posted to asm by fbernardo on 2008-05-27 19:06:50 as
	Dynamic spectrum access in open spectrum wireless networks [My Copy] Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 24, No. 3. (06 March 2006), pp. 626-637. by Yiping Xing, R. Chandramouli, S. Mangold, N, S.S. posted to asm by fbernardo on 2008-05-27 19:03:39 as along with 1 person xavig
	Spectrum management in coordinated dynamic spectrum access based cellular networks [My Copy] New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005. 2005 First IEEE International Symposium on In New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005. 2005 First IEEE International Symposium on (2005), pp. 299-307. by M. M. Buddhikot, K. Ryan posted to asm by fbernardo on 2008-05-27 18:54:13 as
	The road to 4G: two paradigm shifts, one enabling technology [My Copy] New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005. 2005 First IEEE International Symposium on In New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005. 2005 First IEEE International Symposium on (2005), pp. 688-694. by Z. Wu, C. R. Nassar, Bala Natarajan, D. Wiegandt posted to asm ofdma by fbernardo on 2008-05-27 17:52:09 as
	NeXt generation/dynamic spectrum access/cognitive radio wireless networks: a survey [My Copy] Comput. Netw., Vol. 50, No. 13. (September 2006), pp. 2127-2159. by Ian F. Akyildiz, Won Y. Lee, Mehmet C. Vuran, Shantidev Mohanty posted to asm cr by fbernardo on 2008-05-27 17:42:43 as along with 7 people thenado xuxuhuainian realaphex sujinzhao xavig omidf2 deAguila
	Modelling collective animal behaviour using extended point distribution models [My Copy] (1997) by N. Sumpter, R. Boyle, R. Tillett posted to asm ducks pca robiortic-sheepdog shape by ashko on 2008-05-19 08:49:56 as
	Characterizing the shape of the lumbar spine using an active shape model: Reliability and precision of the method [My Copy] Spine, Vol. 33, No. 7. (2008), pp. 807-813. by J. R. Meakin, J. S. Gregory, F. W. Smith, F. J. Gilbert, R. M. Aspden posted to asm lordosis mri positionalmri posture repeatability shape spine by ashko on 2008-04-22 14:50:57 as
	Dynamic Spectrum Access: Signal Processing, Networking, and Regulatory Policy [My Copy] (27 Sep 2006) by Qing Zhao, Brian M. Sadler posted to asm by fbernardo on 2008-03-28 10:34:32 as
	Knowledge-based femur detection in conventional radiographs of the pelvis [My Copy] Computers in Biology and Medicine, Vol. In Press, Corrected Proof by Roland Pilgram, Claudia Walch posted to aam asm bone canny femur hip hough radiograph segmentation shape by ashko on 2008-03-21 14:15:12 as
	Diffeomorphic statistical shape models [My Copy] Image and Vision Computing In 15th Annual British Machine Vision Conference, Vol. 26, No. 3. (3 March 2008), pp. 326-332. by T. F. Cootes, C. J. Twining, K. O. Babalola, C. J. Taylor posted to asm diffeomorphic shape by ashko on 2008-03-14 11:08:42 as along with 2 people qwermish thorgal
	Morphological changes in the shape of the non-pathological bony knee joint with age: a morphometric analysis of the distal femur and proximal tibia in three populations of known age at death [My Copy] International Journal of Osteoarchaeology, Vol. 9999, No. 9999. (2007), n/a. by S. D. Stevens, Strand U. Vi&dstrok;arsdóttir posted to 3d age aging asm healthy knee populations shape by ashko on 2008-03-06 13:04:30 as
	Improving Specificity in PDMs using a Hierarchical Approach [My Copy] (1997) by T. Heap, D. Hogg posted to asm hierarchial pdm by ashko on 2008-02-15 09:53:15 as along with 1 person Dennis2612
	An Automated Method for Assessing Routine Radiographs of Patients with Total Hip Replacements [My Copy] pp. 145-154. by Redhead posted to asm bone hip segmentation thr xray by ashko on 2008-01-23 08:34:59 as
	Dynamic modelling of nitrification in an aerated facultative lagoon [My Copy] Water Research, Vol. 42, No. 1-2. (January 2008), pp. 424-432. by Dwight Houweling, Lynda Kharoune, Antoni Escalas, Yves Comeau posted to aeration asm diagnostic estimation extensive lagoon model nitrification sensitivity winter by Pascalichouchou on 2007-12-31 10:28:14 as
	Early identification of radiographic osteoarthritis of the hip using an active shape model to quantify changes in bone morphometric features: Can hip shape tell us anything about the progression of osteoarthritis? [My Copy] Arthritis Rheum., Vol. 56, No. 11. (2007), pp. 3634-3643. by J. S. Gregory, J. H. Waarsing, J. Day, et al.H. A. Pols, M. Reijman, H. Weinans, R. M. Aspden posted to 2d asm bmi bone detection femoral-neck femur hip image-analysis kl meref multivariate oa pca pdm pelvis pose radiographic-oa rotterdam segmentation shape thr xray by ashko on 2007-12-19 11:48:48 as
	Verification of ASM Refinements Using Generalized Forward Simulation [My Copy] J. UCS, Vol. 7, No. 11. (2001), pp. 952-979. by Gerhard Schellhorn posted to 2001 asm _no_doi refinement by leonardo on 2007-12-08 23:26:50 as
	Abstract State Machines for the Classroom [My Copy] Logics of Specification Languages (2008), pp. 15-46. by Wolfgang Reisig posted to 2007 asm classroom _to_download_springer by leonardo on 2007-12-07 10:53:07 as
	A unified gradient-based approach for combining ASM into AAM [My Copy] Int J Comput Vision, Vol. 75, No. 2. (2007), pp. 297-309. by J. Sung, T. Kanade, D. Kim posted to aam asm by de0a100 on 2007-12-03 05:58:03 as along with 1 person ashko
	Automatic segmentation of the bone and extraction of the bone-cartilage interface from magnetic resonance images of the knee [My Copy] Phys. Med. Biol., Vol. 52, No. 6. (2007), pp. 1617-1631. by J. Fripp, S. Crozier, S. K. Warfield, S. Ourselin posted to 3d asm bone cartilage knee mri oa shape by ashko on 2007-11-07 12:56:45 as along with 1 person dalvirupin
	Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Third Workshop on Model Based Testing (MBT 2007), Vol. 190, No. 2. (31 August 2007), pp. 85-97. by Martin Ouimet, Kristina Lundqvist posted to 2007 asm completeness consistency sat by leonardo on 2007-10-22 02:43:20 as
	Minimum Description Length Shape and Appearance Models [My Copy] Information Processing in Medical Imaging (2003), pp. 51-62. by Hans Thodberg posted to minimum-description-length aam appearance asm shape by ashko on 2007-10-11 08:44:08 as along with 1 person mdifranc
	A Minimum Description Length Approach to Statistical Shape Modelling [My Copy] Lecture Notes in Computer Science, Vol. 2082 (2001), pp. 50-??. by Rhodri H. Davies, Tim F. Cootes, Chris J. Taylor posted to asm method-paper shape by ashko on 2007-10-11 08:37:37 as
	Active Shape Models-Their Training and Application [My Copy] Computer Vision and Image Understanding, Vol. 61, No. 1. (January 1995), pp. 38-59. by T. F. Cootes, C. J. Taylor, D. H. Cooper, J. Graham posted to asm shape by ashko on 2007-10-11 08:37:11 as along with 1 person jtbassic
	Active feature models [My Copy] Proc. Int. Conf. Pattern Recognit., Vol. 1, pp. 417-420. by G. Langs, P. Peloschek, R. Donner, M. Reiter, H. Bischof posted to active-feature-models asm shape texture by ashko on 2007-09-26 12:27:23 as
	Robust active shape models: A robust, generic and simple automatic segmentation tool [My Copy] Lect. Notes Comput. Sci., Vol. 4191 LNCS - II, pp. 1-8. by J. Abi-Nahed, M. P. Jolly, G. Z. Yang posted to asm detection method-paper segmentation shape by ashko on 2007-09-26 12:26:30 as
	Oriented active shape models [My Copy] Progr. Biomed. Opt. Imaging Proc. SPIE, Vol. 6144 I by J. Liu, J. K. Udupa posted to asm method-paper orientation shape by ashko on 2007-09-26 12:17:07 as along with 1 person dalvirupin
	Active shape model segmentation with optimal features [My Copy] IEEE Trans. Med. Imaging, Vol. 21, No. 8. (2002), pp. 924-933. by B. Van Ginneken, A. F. Frangi, J. J. Staal, Ter, M. A. Viergever posted to asm kmeans method-paper by ashko on 2007-09-26 12:10:22 as
	Deformable models in medical images analysis: a survey [My Copy] (1996) by T. Mcinerney, D. Terzopoulos posted to asm deformable-models review-paper shape by ashko on 2007-09-26 12:06:56 as along with 3 people stsaft gane5h ben500
	Statistical models of appearance for medical image analysis and computer vision [My Copy] (2001) by T. Cootes, C. Taylor posted to aam asm shape by ashko on 2007-09-26 12:04:00 as
	Statistical models of appearance for computer vision [My Copy] (1999) by T. Cootes, C. Taylor posted to aam asm shape by ashko on 2007-09-26 12:03:38 as along with 1 person hurricane
	Application of the Active Shape Model in a commercial medical device for bone densitometry [My Copy] (2001) by H. Thodberg, A. Rosholm posted to asm bmd by ashko on 2007-09-26 11:59:02 as
	Hierarchical segmentation of vertebrae from x-ray images [My Copy] Proc SPIE Int Soc Opt Eng, Vol. 5032 I, pp. 631-642. by G. Zamora, H. Sari-Sarraf, R. Long, M. Sonka, J. M. Fitzpatrick posted to asm deformable-models detection energy-minimisation hough shape spine by ashko on 2007-09-26 11:51:24 as
	Quantitative vertebral morphometry using neighbor-conditional shape models [My Copy] Med. Image Anal., Vol. 11, No. 5. (2007), pp. 503-512. by M. de Bruijne, M. T. Lund, L. B. Tanko?, P. C. Pettersen, M. Nielsen posted to asm fracture op shape spine by ashko on 2007-09-26 09:40:22 as
	Vertebral shape: Automatic measurement with active shape models [My Copy] Radiology, Vol. 211, No. 2. (1999), pp. 571-578. by P. P. Smyth, C. J. Taylor, J. E. Adams posted to asm dxa op shape spine by ashko on 2007-09-21 08:16:15 as
	A method for assessment of the shape of the proximal femur and its relationship to osteoporotic hip fracture [My Copy] Osteoporosis Int., Vol. 15, No. 1. (2004), pp. 5-11. by J. S. Gregory, D. Testi, A. Stewart, P. E. Undrill, D. M. Reid, R. M. Aspden posted to asm bone femur fracture geometry hip image-analysis meref pca shape xray by ashko on 2007-09-21 08:00:48 as

Note: You may cite this page as: http://www.citeulike.org/tag/asm

Result page: 1 2 Next

shape	26
segmentation	13
mri	10
model	9
aam	8
3d	6
bone	6
cardiac	6
refinement	6
2007	5
hip	5
method-paper	5
statecharts	5
detection	4
femur	4
heart	4
pca	4
spine	4
xray	4
2006	3
fracture	3
image-analysis	3
knee	3
semantics	3
sparse	3
2008	2
abm	2
adm	2
agents	2
algorithmic_trading	2
artificial_stock_market	2
atlas	2
bmd	2
completeness	2
data	2
deformable-models	2
dxa	2
estimation	2
fsm	2
hough	2
meref	2
modelling	2
nitrification	2
oa	2
ofdma	2
op	2
paper	2
pdm	2
registration	2
thr	2
wwtp	2
_no_doi	1
_to_download_springer	1
abstract-state-machines	1
appearance	1
automated	1
bmi	1
calibration	1
cartilage	1
cr	1
death	1
design	1
extensive	1
face	1
fft	1
frankfurt	1
geometry	1
hierarchial	1
hydrolysis	1
image	1
limit_order_book	1
lordosis	1
maintenance	1
mbr	1
methods	1
model_checking	1
models	1
multivariate	1
orientation	1
paramter	1
pelvis	1
phosphorous	1
plant-wide	1
populations	1
pose	1
posture	1
radiographic-oa	1
recognition	1
repeatability	1
review	1
robiortic-sheepdog	1
roc	1
shaoe	1
simulation	1
software	1
specexplorer	1
technical_trading	1
tracking	1
winter	1
with	1

Tag asm [74 articles] Export

Related Tags